With static vs dynamic discourse back in vogue, time to revive this post: concrete examples of patterns enabled by dynamic typing that are significantly harder in statically typed languages. https://willcrichton.net/notes/idioms-of-dynamic-languages/ …
-
-
I'm not sure that's entirely true. In OCaml, I feel like the abstraction tools are powerful in a way that in some sense reduces the need for macros.
-
Type safe eDSLs being a prime example.
- Show 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.
cognitive psychology. PhD