On Sep 25, 2007, at 7:25 , Andrew Coppin wrote:

Chaddaï Fouché wrote:
2007/9/25, Andrew Coppin <[EMAIL PROTECTED]>:

printf don't always perform IO : if you ask it for a String it will
happily turn into sprintf for you, if you use it in the IO Monad, it will indeed perform IO, but there's nothing fundamentally IO bound in
printf logic.

That's even *more* impossible... o_O

Why ?

How can one function have more than one type signature?

Polymorphism via typeclasses. PrintfType is rather hairy, as I said, but it can do the job by having instances for IsString (itself a hack of sorts) and IO.

--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university    KF8NH


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to