[MLton-user] The Generic Programming Library is great

Jeremy Fincher jemfinch at gmail.com
Sat Mar 1 05:43:55 PST 2008


On Feb 4, 2008 6:54 PM, Vesa Karvonen <vesa.a.j.k at gmail.com> wrote:
> The library currently provides some 19 "generics" of which 10, I believe,
> are likely to be useful in many kinds of applications (dynamic, eq, fmap,
> hash, ord, pickle, pretty, read, reduce, transform) while the others are
> likely to be useful in only a few specific applications (arbitrary, size,
> shrink) or the implementation or testing of other generics (data-rec-info,
> seq, some, type-exp, type-hash, type-info).

"arbitrary" and "shrink" sound very much like function names used in
some implementations of QuickCheck, a testing system which greatly
benefits from generic programming.  Is there an SML implementation of
QuickCheck written using this library?

Thanks,
Jeremy



More information about the MLton-user mailing list