[Caml-list] Ocaml and C--

[STARYNKEVITCH Basile <Basile.Starynkevitch@cea.fr>]

Hello All and particularily the core Ocaml team,

C-- (see "http://www.cminusminus.org/") is an effort to define a low
level langage (sort of portable assembler) -better than C- to be used
as a common target for (functional languages) compilers. C-- offers
things that are missing in C (notably tail recursion) and useful to
compiler implementors. QickC-- (qc--) is an opensource compiler from
C-- to machine code. Currently it is not yet completed but aims to
target several usual architectures (eg x86, Alpha, etc...). Qc-- will
probably be useable (according to their web page) at end of year 2001.

Qc-- is written -as a literate program- in Ocaml and I believe it is
(or will become) a good example of real useful Ocaml code.

I believe that there have beeen a proof of concept port of Ocaml to
target C--. Is it really so? 

Supposing that QC-- will deliver it promises (but Norman Ramsey, Simon
Peyton Jones and Christian Lindig are impressively serious and clever
guys), will Ocaml switch to target C-- or will Ocaml continue to
natively target the usual architectures (x86, Alpha, Sparc, ia64,
x86-64...)?

What is the relation between C-- and Ocaml (apart a mutual respect of
the leading developers in each team)?

Regards

N.B. Any opinions expressed here are only mine, and not of my organization.
N.B. Les opinions exprimees ici me sont personnelles et n engagent pas le CEA.

---------------------------------------------------------------------
Basile STARYNKEVITCH   ----  Commissariat à l Energie Atomique * France
DRT/LIST/DTSI/SLA * CEA/Saclay b.528 (p111f) * 91191 GIF/YVETTE CEDEX 
phone:+33 1,6908.6055; fax: 1,6908.8395 home: 1,4665.4553; mobile: 6,8501.2359
work email: Basile point Starynkevitch at cea point fr 
home email: Basile point Starynkevitch at wanadoo point fr 
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr