Hello Wolfgang,
Friday, April 11, 2008, 6:19:26 PM, you wrote:
> Would it be possible to change the class name “IsString” to something
> different? Would it be possible to remove the type alias “String” and
> let “String” be the class name? Can I add this remark somewhere on the wiki?
this reminds me one idea i've once proposed to discuss: allow to use
class names in type signatures with obvious translation to "classic"
code:
putStr :: String -> IO ()
means
putStr :: (String a) => a -> IO ()
writing a lot of polymorphic code for Streams lib, i've found this
feature very useful - with current standard, type signatures using
type classes are very hard to read:
-- | Copy `size` bytes from one BlockStream to another
copyStream :: (BlockStream h1, BlockStream h2, Integral size)
=> h1 -> h2 -> size -> IO ()
--
Best regards,
Bulat mailto:[EMAIL PROTECTED]
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
