24 Feb
2012
24 Feb
'12
7:19 p.m.
On Fri, Feb 24, 2012 at 4:15 PM, Johan Tibell
Aside: It is possible to have no scalar fields in records of course. data R = C { compare :: (a -> a -> Ordering) }
Has x f has no semantic content besides type x having an f field; Ord has (at least in the programmer's mind, even if the language can't check it) meaning beyond the simple presence of a compare function. /g -- "Would you be so kind as to remove the apricots from the mashed potatoes?"