[MLton-devel] monomorphisation and the opus

[Suresh Jagannathan]

There are two issues:

1. How do we best describe the monomorphiser as it currently
exists?  Right now, the description is by example only.  The main
questions are whether (a) such a description is sufficient, and (b)
is statement/proof of correctness necessary?  I think (a) is probably
ok if we don't have (b), but is insufficient if we do.  Unfortunately,
I don't see any way of describing (b) without giving a detailed
algorithm.

2. There is an orthogonal question on whether we want to elaborate
this section to include a discussion of how the monomorphiser could
be adapted to deal with polymorphic recursion.  I'm not advocating
a detailed presentation, but we have had some discussion on this
point in the past; is this issue important enough to warrant a subsection
that contains an informal discussion on the topic?


On Thursday 08 May 2003 11:06 pm, Stephen Weeks wrote:
> I agree with everything Matthew said.
>
> > (But, then again, I'm not totally up to speed on how the
> > monomorphiser works, so I'm not sure how clean and simple a proof of
> > that could be.)
>
> It sounds yucky to me, and I don't think the opus should get anywhere
> near that formal.
>
>
> -------------------------------------------------------
> 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


-------------------------------------------------------
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