Records in Haskell

J. Garrett Morris jgmorris at
Sat Feb 25 01:19:58 CET 2012

On Fri, Feb 24, 2012 at 4:15 PM, Johan Tibell <johan.tibell at> wrote:
> 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.


"Would you be so kind as to remove the apricots from the mashed potatoes?"

More information about the Glasgow-haskell-users mailing list