Re: Diesel?


Subject: Re: Diesel?
From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Mar 23 2000 - 16:51:31 PST


Cecil is being used by us in our Vortex compiler development work. Diesel is
the intended next-generation replacement of Cecil, with substantially similar
flavor and goals, but a reworked underlying core. While we have a sketch of the
Diesel design, and have for a couple of years, we've been working mostly on the
underlying core ideas in simpler contexts. The Dubious core language work
appearing in ECOOP'99 is one example of this work. We're being deliberately
slow about finalizing Diesel until we feel we understand the foundation well.

-- Craig Chambers

Alain Van Kerm wrote:
>
> The message below recently came up on comp.lang.misc which
> reminds me I've read somewhere that Cecil would have a successor
> called Diesel. I'd be interested to know if it's still the case,
> and, if yes, what's its current status?
>
> Alain
>
> >Subject: Cecil (was: Looking for a new language)
> >Date: Mon, 13 Mar 2000 23:38:28 +0100
> >
> >Harry Chomsky <harryc@chomsky.net> wrote:
> >
> >> A static type system like Cecil's ought to be able to solve these problems.
> >> But Cecil's type system includes several constructs not present in Dylan,
> >> such as signatures and parametrization. (And, unfortunately, the current
> >> implementation of Cecil's type-checker is incomplete.)
> >
> >I recently looked around at
> ><http://www.cs.washington.edu/research/projects/cecil/www/cecil-home.htm
> >l> and its vicinity and found that nothing has changed for a pretty long
> >time. Does anyone know what the current status of Cecil is?
>
> --------------------------------------------------------------------------------
>
> Subject: Cecil (was: Looking for a new language)
> Date: Mon, 13 Mar 2000 23:38:28 +0100
> From: schuerig@acm.org (Michael Schuerig)
> Organization: Orgawhat?
> Newsgroups: comp.lang.misc
> References: <UWmw4.2901$Fw6.11042@newsfeed.slurp.net> <kqBy4.26846$h.168369@typhoon.columbus.rr.com> <memo.20000313111607.62903A@btinternet.com> <%Sbz4.2869$U3.53874@news.pacbell.net>
>
> Harry Chomsky <harryc@chomsky.net> wrote:
>
> > A static type system like Cecil's ought to be able to solve these problems.
> > But Cecil's type system includes several constructs not present in Dylan,
> > such as signatures and parametrization. (And, unfortunately, the current
> > implementation of Cecil's type-checker is incomplete.)
>
> I recently looked around at
> <http://www.cs.washington.edu/research/projects/cecil/www/cecil-home.htm
> l> and its vicinity and found that nothing has changed for a pretty long
> time. Does anyone know what the current status of Cecil is?
>
> Michael
>
> --
> Michael Schuerig
> mailto:schuerig@acm.org
> http://www.schuerig.de/michael/



This archive was generated by hypermail 2b25 : Tue Oct 03 2000 - 15:21:26 PDT