Satori is pretty weird

I achieved satori, and it's kind of fucked up. Everything is a programming problem. Look at a piece of toast and you'll see an endomorphism on the domain of bread. Look at a chair and you'll see a recursive descent parser. Look at a dog taking a shit and you'll see a novel set of inductive laws for reasoning about infix notation.

I mean, I did swimmingly at the program I was working on, but it would be nice to brush my teeth without having to check my floss for null.

>>19
Haskell type system is a textbook-level simplistic Fomega rig, read your TAPL, dammit! If you want real type-theory-heavy languages, look at ATS, Agda and Epigram. Although they are all evidence that a truly advanced type system is nigh useless in practice and Haskell with its mediocre type-unsafe nearly imperative paradigm actually hits a good balance as far as "getting shit done" goes. And the constant tweaking of the GHC to make it more performant, sugary and mass-appealing help make Hackage overflow with code and blogs overflow with "comonoidiodic groupoids" which impress you so much. Not some advanced mathematic rigor or state-of-the-art type system. For Spock's sake, the language doesn't even have proper exceptions, or sum types, or product types, or guaranteed termination.