Why doesn't Haskell excite me as much as Common Lisp did? CL is such a big sweet language with all sorts of cool shit in in. Haskell in comparison seems minimal and I wonder if I'm missing out because I don't understand the magic of types or w/e.
peano naturals are not good for encoding the length of a list, as they are themselves lists of length n (zero = nil, succ = cons).
Not every problem can be solved by the type system. That's equivalent to the halting problem, for certain problems. We're just improving compilers by improving the type system, that's all.