[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