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 MAA01232; Thu, 20 Nov 2003 12:13:32 +0100 (MET) 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 MAA00723 for ; Thu, 20 Nov 2003 12:13:31 +0100 (MET) Received: from brazilnut.cc.columbia.edu (brazilnut.cc.columbia.edu [128.59.59.203]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAKBDU124591 for ; Thu, 20 Nov 2003 12:13:30 +0100 (MET) Received: from tw304h3.cpmc.columbia.edu (tw304h3.cpmc.columbia.edu [156.111.84.180]) (user=ot14 mech=LOGIN bits=0) by brazilnut.cc.columbia.edu (8.12.10/8.12.10) with ESMTP id hAKBDSP8027309 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT) for ; Thu, 20 Nov 2003 06:13:29 -0500 (EST) From: Oleg Trott To: caml-list@inria.fr Subject: [Caml-list] Caml as C-- (was: Compiling a native code OCaml library into an .so?) Date: Thu, 20 Nov 2003 06:13:09 -0500 User-Agent: KMail/1.5.4 References: <3FBC0177.1050307@cs.caltech.edu> <004001c3af17$20b46df0$dd79b1d5@tornado> In-Reply-To: <004001c3af17$20b46df0$dd79b1d5@tornado> MIME-Version: 1.0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200311200613.09139.oleg_trott@columbia.edu> X-No-Spam-Score: Local X-Scanned-By: MIMEDefang 2.35 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; oleg:01 oleg:01 malc:01 scaml:01 workings:01 asmcomp:01 weakly:01 compiler:01 compiler:01 backend:01 ocaml:01 ocaml:01 caml:01 caml:01 inner:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wednesday 19 November 2003 10:33 pm, Kamil Shakirov wrote: > > Am I missing any serious difficulties here? Are there any plans to add > > something like this to OCaml? > > Look at the http://www.boblycat.org/~malc/scaml/ Things like this make me wonder how people outside of INRIA understand the inner workings of Caml compiler (enough to modify it). Just guessing by looking at the rather sparcely commented source? Or is there anything else? In particular, I'm curious if parts of Caml compiler, such as "asmcomp", could be used as a sort of C--, i.e. a weakly typed backend for another language, especially if the language itself is written in Caml. TIA -- Oleg Trott ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners