The problem is not "static type advocate". It's the entire misguided "programming language" paradigm. https://www.dreamsongs.com/Files/Incommensurability.pdf …
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I’ve been thinking about this. Except for code instrumentation and trivial boilerplate generation I’ve never missed macros. Can you come up with a problem that macros solve that isn’t solved by (maybe free monadic, but also plain old) ADT DSLs + interpreters?
-
Interpreters? Macros are compilers. Incrementally defined. Extensible. With no syntactic overhead. But yeah, if you can use interpreters, one will suffice to solve all issues: a Lisp interpreter. (If you can't, or simply don't, your effective language isn't Turing-complete.)
- 8 more replies
New conversation -
-
-
And then there are people who fight to have static types *and* metaprogramming :-P
-
I prefer to call them "dynamically static" types.
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.
Read my blog!