[MLton-devel] monomorphisation and the opus

[Suresh Jagannathan]

In writing the description of how the monomorphiser works, the
interaction of the monomorphiser with polymorphic (non-linear)
datatypes is pretty subtle.  Currently, the description provides
an example of how the monomorphiser works for such a case,
along with comments about how this is ok because of ML's
restriction on polymorphic recursion.  The main question is whether
we should provide something a bit more formal that proves
its correctness and/or the suitability of this approach even in
the presence of polymorphic recursion by transforming type
information into runtime value information.   What is your opinion?
If you think it's important to "prove" correctness, do you have
suggestions on a clean, simple way of doing this short of providing
a full formal translation?

-- Suresh


-------------------------------------------------------
Enterprise Linux Forum Conference & Expo, June 4-6, 2003, Santa Clara
The only event dedicated to issues related to Linux enterprise solutions
www.enterpriselinuxforum.com

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel