
8 Nov
2009
8 Nov
'09
5:03 a.m.
How about this? {-# LANGUAGE ThinkTotal #-} On 8 Nov 2009, at 09:53, Svein Ove Aas wrote:
On Sun, Nov 8, 2009 at 9:52 AM, Ketil Malde
wrote: Eugene Kirpichov
writes: In JavaScript there is a "null" value, that is the only value of the null type. Isn't () the same thing? The only value of the unary type?
No, () has two values: () and undefined (t.i., _|_).
() is the only value of (). If we could agree a standard set of email pragmas, we could save ourselves a lot of violent agreement. Cheers Conor