6 Sep
2010
6 Sep
'10
11:38 a.m.
Hello Stefan, Monday, September 6, 2010, 3:47:11 PM, you wrote:
In general, it is kind of unfortunate that type classes and type constructors share a namespace, even though there is no way to ever mix them up.
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 () and length :: ListLike a -> Int treated as length :: ListLike (c a) => c a -> Int Together with proposals i mentioned previously, it will allow to treat existing code dealing with lists/strings as generic code working with any sequential container type -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com