>>71
How is Haskells type system complex? I think it's pretty simple and straightforward and because functions and types work together in a natural way, you can write concise programs.
>>70
No, just that they care more about correct program behavior and proofs and don't want their computers fucked up because of some nasty memory bug.