[MLton-user] The Generic Programming Library is great

Vesa Karvonen vesa.a.j.k at gmail.com
Tue Feb 5 06:53:24 PST 2008


On Feb 5, 2008 1:54 AM, Vesa Karvonen <vesa.a.j.k at gmail.com> wrote:
> In addition to the generics that you mention, generic "reduce" (a kind of
> generic fold) and "transform" operations (a limited form of a generic
> fmap) (and also an experimental generic fmap) can also be useful in
> application programming.  During ICFP'07, I wrote a simple example of
> using the reduce and transform generics to canonicalize the terms of
> a trivial language.  I should add it to the examples...

It is now there:

  http://mlton.org/cgi-bin/viewsvn.cgi/*checkout*/mltonlib/trunk/com/ssh/generic/unstable/example/canonize.sml

-Vesa Karvonen



More information about the MLton-user mailing list