Instead of "static type advocate", maybe we should call them "metaprogramming deniers". Then there are the metaprogramming deniers who don't even advocate static types. Morons.
You'll tell me "it's type-directed code transformation!" — Yes, precisely. But also type transformation. Which requires types as first-class values as manipulated by macros.
-
-
I haven’t read the paper so can’t comment yet, but “types as first class values” sound like type-level functions/type families/dependent types to me?
-
Dependent types can do it — but then all your coding must be done in the _internal_ model for the metalevel transformations to be possible, the semantics being reflected onto the ambient system only at the very last minute for evaluation.
- 2 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.
Read my blog!