"Instead of being in your way like in C, C++ or Java, the type system is here to help you."
I'd still say the type system is there to help you in C, C++, and Java, it just doesn't do nearly as good a job of it, and winds up in your way more often because it's less expressive.
I'd still say the type system is there to help you in C, C++, and Java, it just doesn't do nearly as good a job of it,
Are you sure? :)
Couldn't match type `b0' with `Step Builder IO a'
because type variable `a' would escape its scope
This (rigid, skolem) type variable is bound by
a type expected by the context: Enumerator Builder IO a
The following variables have types that mention b0
[...]
I do love Haskell :) and usually the type system is there to help you.
I'd go as far as to say it doesn't get in your way at all except for verbosity, I just wish it were better and could do more. I'd love for the type system to prevent null pointers.
I'd still say the type system is there to help you in C, C++, and Java, it just doesn't do nearly as good a job of it, and winds up in your way more often because it's less expressive.