On Types and Intent, Clojure and Haskell, Science and Engineering · HackerTrans