> static typing helps everywhere I think "Structure and Interpretation of Classical Mechanics" is a good example of the kind of software a dynamically-typed Li

> static typing helps everywhere I think "Structure and Interpretation of Classical Mechanics" is a good example of the kind of software a dynamically-typed Lisp is superior at, beyond the usual suspects like SQL, R, Python, etc. Here's an example of SICM in Clojure: https://github.com/mentat-collective/emmy https://github.com/mentat-collective/emmy Go here to give it a try: https://nextjournal.com/try/samritchie/sicmutils https://nextjournal.com/try/samritchie/sicmutils And here's a conference talk about it's implementation: https://www.youtube.com/watch?v=7PoajCqNKpg https://www.youtube.com/watch?v=7PoajCqNKpg --- More broadly, I think Rich Hickey (Clojure creator) makes a reasonable case that for information processing systems in particular, static typing has negative value: https://www.youtube.com/watch?v=2V1FtfBDsLU https://www.youtube.com/watch?v=2V1FtfBDsLU That's also been my experience.