[MLton] expansive expressions yielding polymorphic values
Henry Cejtin
henry.cejtin at sbcglobal.net
Thu Feb 28 10:51:18 PST 2008
Right, I know that clients can't take advantage of it, but I didn't realize
that I (the implementor) could. Truly a fine surprise. It really means that
inside of a structure which implements some phantom type, I can take full
advantage of higher-order functions instead of being limited by the value
restriction.
Definitely a very pleasant surprise to me.
More information about the MLton
mailing list