> My major gripe with haskell was that I could never tell the space/time complexity of the my code without serious analysis This is really a serious issue. The

> My major gripe with haskell was that I could never tell the space/time complexity of the my code without serious analysis This is really a serious issue. The only other language where I ever had this issue was SQL. I had a project where we have lots of nested Views. We had to rephrase the SQL in sometimes very non-obvious ways, introducing intermediate Array results, CTEs, switching between sub SELECTs and JOINs -- all this just to convince the Query Planner to use a different Query Plan. That made a difference between < 1 second or a few minutes. In the end, this is why I prefer languages OCaml or SML over Haskell. (Rust on the horizon) Roughly speaking, in Haskell you can prove "just" correctness, while in OCaml you can prove correctness as well as performance.