27 Jul
2006
27 Jul
'06
12:31 p.m.
[Henning Thielemann
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 matt@immute.net