Excellent point! This is one strength of types that doesn't really have a good direct equivalent in dynamic languages like #Clojure. I still don't miss types, tho. Why? Here are some of my strategies for understanding code that I'm reading. 1/
I will run the code as part of understanding it. With full access to the runtime in the REPL, I can often answer the question "What is this called with?" by actually calling it and then looking at the data. 2/
Sep 14, 2022 • 7 tweets • 2 min read
Some thoughts on why I do not miss type systems as a #Clojure developer. 1/
Type systems give you more security, in exchange for making your code more rigid. You "lock the code down" with types, and in return you get some guarantees. This is in my experience not a good trade-off. 2/
