Subject: Re: EML
From: Todd D Millstein (todd@cs.washington.edu)
Date: Mon Feb 12 2001 - 18:04:26 PST
On Mon, 12 Feb 2001, Vassily Litvinov wrote:
> Hi Todd,
>
> I wasn't quite clear whether what you presented today is your current work
> or it's been done long ago. What's the current status of EML? This might
> be interesting to the entire group (unless you said it while I was being
> late at the beginning).
>
> Vass
>
Good question. The language design is Craig's, from some notes he wrote
up a couple of months ago (a revised version of the design in his EML
paper submission). The algorithm for global implementation-side
typechecking is something I've developed recently, building on some work
that I did a long time ago on faster typechecking for multimethods when
types/classes are merged and there is only single inheritance.
The current status is essentially what I presented today. I've written up
a relatively formal account of the global implementation-side typechecking
algorithm I described today. I'm now working on adding the EML constructs
to an intermediate language for ML designed by Bob Harper and Chris Stone.
I'm in the process of augmenting their dynamic semantics appropriately,
and then I'll start tackling the static semantics. The main issues there
will be our interaction with polymorphism and with functors.
Todd
This archive was generated by hypermail 2b25 : Mon Feb 12 2001 - 18:04:31 PST