From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA06935; Tue, 29 May 2001 13:24:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA06994 for ; Tue, 29 May 2001 13:24:37 +0200 (MET DST) Received: from nenuphar.saclay.cea.fr (nenuphar.saclay.cea.fr [132.166.192.7]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f4TBOaD15120 for ; Tue, 29 May 2001 13:24:36 +0200 (MET DST) Received: from muguet.saclay.cea.fr (muguet.saclay.cea.fr [132.166.192.6]) by nenuphar.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.0.D20+Y2K) with ESMTP id NAA26060 for ; Tue, 29 May 2001 13:24:31 +0200 (MET DST) Received: from harpie.saclay.cea.fr (harpie.saclay.cea.fr [132.166.133.152]) by muguet.saclay.cea.fr (8.9.1a/8.9.1/CEAnet-relay-5.2.D20+Y2K) with ESMTP id NAA16140; Tue, 29 May 2001 13:24:30 +0200 (MET DST) Received: by harpie.saclay.cea.fr (8.8.8+Sun/CEANET.2.0.1) id NAA05120; Tue, 29 May 2001 13:25:26 +0200 (MET DST) From: STARYNKEVITCH Basile MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Message-ID: <15123.34597.907480.784076@gargle.gargle.HOWL> Date: Tue, 29 May 2001 13:25:25 +0200 To: caml-list@inria.fr Subject: [Caml-list] Ocaml and C-- X-Mailer: VM 6.76 under 21.1 (patch 12) "Channel Islands" XEmacs Lucid Content-Transfer-Encoding: 8bit Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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