What's the runtime representation of Type in dependently typed languages? Similar to recursive/inductive types?
@greenrd @glaebhoerl you could do it the same way as any other constructor, if you wanted them at run time.
-
-
@edwinbrady@greenrd So what I was actually wondering about: in the "intensional type analysis" approach to compiling polymorphic functions, -
@edwinbrady@greenrd they get passed the repr of the type (size, alignment, etc) as an explicit argument. Apparently this is unconnected? - 10 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.