6 Sep
2010
6 Sep
'10
6:58 p.m.
Am Montag, den 06.09.2010, 19:38 +0400 schrieb Bulat Ziganshin:
btw, i also had proposal to automatically convert typeclasses used in type declarations into constraints, so that:
putStr :: StringLike -> IO ()
treated as
putStr :: StringLike s => s -> IO ()
This blurs the distinction between classes and types, which are two fundamentally different concepts in Haskell. In addition, it works only for special cases. I would like the language to be simple. Alas, more and more sugar is added to Haskell, which makes it unnecessarily complicated. Best wishes, Wolfgang