December 21st, 2014
When I wrote How ignorant am I, and how do I formally specify that in my code? I said:
For decades, computer programmers have argued with each other over the issue of strict data-type enforcement, versus dynamic data-type unenforcement. And after 16 years of computer programming, I have come down firmly in the middle: I like optional typing.
Clojure allows me to work dynamically, but to type hint when I want to, so I can get the performance benefits of type ...Read More Source