>>9
static typing is the opiate of the masses.
the problems with programs today are largely problems of misconception. implementation issues like type errors are easy to fix, and simply not that much of a problem in large systems. what really matters is the ability to adapt to changing requirements.
static typing is also anti-repl. when you input data into the haskell interpter, it has to decide what it means and it is not always correct.
static typing is also anti modular. in any modern language, i should be able to do "a" + "b" and get "ab". even javascript has that, but haskell, the advanced language, does not.
i think haskell could learn a thing or two from lisp.