I can't immediately think of an actual use for this, but I bet one will turn up :)
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Interesting .. How does this interplay with parametricity ? Doesn't this weaken the notion of parametricity ?
-
No. Parametricity and types are only coincidentally related. No reason a parameter has to be of type Type, nor that anything else can't be a parameter. See the code snippet for a tiny example :).
- 2 more replies
New conversation -
-
-
Is there any way to extract sum/product structure from this?
-
No, you can only look at the type constructor names, but don't get access to their data constructors. Elaborator reflection could do this, potentially. And maybe we could make it accessible at run time... but not just now.
- 2 more replies
New conversation -
-
-
APPLAUSE! And anyone who reacts “but parametricity” is a prisoner of Milner’s Coincidence.
-
I still haven't worked out how to handle function types though. I'll probably disallow that for the moment and come back to it later.
- 3 more replies
New conversation -
-
-
do you distinguish between parameter is variables and nonparametric variables in a way that allows higher order parametric arguments??
-
Not in a way I've made work yet but it should be okay
- 3 more replies
New conversation -
-
-
-
I stopped caring about this sort of thing in my quick hacks... Nice to have the smiley at the bottom left though!
End of conversation
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.