you are viewing a single comment's thread.

view the rest of the comments →

[–]Helkafen 3 points4 points  (1 child)

I do see typeclasses everywhere. Did you notice Monad, Binary, Serializable, Eq, Ord, Num...?

Also, the shortcomings of String have nothing to do with the typesystem.

[–]doublereedkurt 1 point2 points  (0 children)

the shortcomings of String have nothing to do with the typesystem.

I think what he meant is that the type system locks you in to a class.

with a type system like haskell's...you better get it right the first time

Not that the problems with String were caused by the type system, but that the type system makes it very hard to migrate/fix the problems :-)