i've written a lot of Clojure and Scheme as well, and you make a good point that typing goes a long way immutability does go a long way. and clojure gives good

i've written a lot of Clojure and Scheme as well, and you make a good point that typing goes a long way immutability does go a long way. and clojure gives good way to document your functions, and encourages compositional design for sure even so, there's nothing quite like spending one sitting writing types only, another filling in all the `undefined`s, and iterating back and forth. i am always able to pick up my half finished haskell and not miss a beat thanks to how i capture my thinking in types. i think clojure would be strictly better with a basic HM type system on top, even if it were optional. now that i consider it, macros could allow for super ergonomic type-level programming - and type-safe program generation from types