[Henning Thielemann <[EMAIL PROTECTED]>] > > On Thu, 27 Jul 2006, David House wrote: > > > How about we drop the idea of an auxilary cond function, and instead > > just use a Boolean typeclass? > > > > class Boolean b where > > isTrue :: b -> Bool > > isFalse :: b -> Bool > > I suspect that then the Int instance for Boolean will quickly arise, > http://repetae.net/john/recent/out/Boolean.html > which flood us with (if 2+3 then "true" else "false"). This would take > us a lot of type safety.
No doubt the String instance would be close behind... Matt -- Matt Hellige [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
