I enjoy using dynamically typed languages (especially Scheme) from time to time. I feel like I take a type driven approach when I do, but there's some kinds of exploration when it just feels like a nice way to work.https://twitter.com/lexi_lambda/status/1219103128836100098 …
-
-
Anyway, please keep arguing about it, because it's fascinating. Just remember to be nice, and that your problems are not the same as everyone else's!
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I love that "Challenge accepted" way of thinking. Thinking about the patterns people use in dynamic languages, thinking about describing those patterns? Often out of those patterns there's some part that can be described statically with a type system, only a very unorthodox one
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How about this challenge: "Code modification at runtime is impossible with static types."
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.