From: Robert Feldt <feldt@...>
Date: 2001-12-04T18:51:27+09:00
Subject: [ruby-talk:27426] Re: Featherweight concurrency and backends was: OCaml native code compiler has little to do with C--

On Tue, 4 Dec 2001, MikkelFJ wrote:

> Meanwhile I've done some more research on backends.
> There is Stackless Python which avoids the traditional stack callframes by
> using continuations. Continuations are also a key feature in C--.
> Personally, I think hardcore ruby should be based on C-- and steal from
> Stateless Python. Wrt. the .Net support - who knows maybe C-- will target
> MS-IL one day. That is of course only half the job of integrating with .NET,
> but anyway, I think C-- looks promising although immature. It may be a good
> idea with a bytecode compiler that can also generate C--. This is
> essentially the approach taken by OCaml - although that is a different C--.
> 
Have you looked at MachineSUIF?

http://www.eecs.harvard.edu/hube/software/software.html

Looks very interesting and they seem to be working on it (latest release
in October this year):

"Machine SUIF is a flexible and extensible infrastructure for constructing
compiler back ends. With it you can readily construct and manipulate
machine-level intermediate forms and emit assembly language, binary
object, or C code. The system comes with backs ends for the Alpha and x86
architectures. You can easily add new machine targets and develop
profile-driven optimizations."

/RobertF