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/ …
-
-
Macros in particular are interesting because I think they tend to matter more for statically typed languages, as a means of building abstractions that aren’t encodable in the type system.
-
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.
- Show replies
New conversation -
-
-
Generators in Python get in the ballpark of delimited continuations, as does async/await.
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.
cognitive psychology. PhD