[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