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.
-
-
That’s what I’m looking for, thanks!
-
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.
- 4 more replies
New conversation -
-
-
LIL: CLOS reaches higher-order, sheds identity, and has a transformative experiencehttps://github.com/fare/lil-ilc2012 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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!