This is sort of what I'm getting at, though. Haskell gives you the language to talk fluently about everything I was writing. If you use it enough it becomes sec

This is sort of what I'm getting at, though. Haskell gives you the language to talk fluently about everything I was writing. If you use it enough it becomes second nature and these kinds of higher order concepts are easy. Monads are easy. In languages which lack the tools to make it easy to talk about this stuff it's hard to say these things without sounding like a loon. The only reason I sound academic is that the simple language I'm used to using has been denied.