Does your type system work on you? Refined types in Clojure
speakerdeck.com1 pointsby kachayev0 comments
reduce(operator.add, map(len, ss))
debug = partial(log, "debug")
It "easy". Cause it takes less characters in your code: you don't need "type classes" of any form, you don't care about liftings etc. You can start from 2-3 lines of code and see immediate result.
But it's really not that "simple", cause without constant thinking about type of each expr it becomes very hard to trace long chains of monad operations very quickly. Plus types are great for verifying that you didn't break anything inside your "do" block (which is painful in dynamic env).