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 KAA25351; Mon, 22 Mar 2004 10:33:29 +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 KAA26033 for ; Mon, 22 Mar 2004 10:33:28 +0100 (MET) Received: from brazilnut.cc.columbia.edu (brazilnut.cc.columbia.edu [128.59.59.203]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i2M9XQHd005966 for ; Mon, 22 Mar 2004 10:33:27 +0100 Received: from columbia.edu (tw304h3.cpmc.columbia.edu [156.111.84.180]) (user=ot14 mech=PLAIN bits=0) by brazilnut.cc.columbia.edu (8.12.11/8.12.11) with ESMTP id i2M9XLjf020103 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT); Mon, 22 Mar 2004 04:33:22 -0500 (EST) Message-ID: <405EB2C6.8020507@columbia.edu> Date: Mon, 22 Mar 2004 04:32:54 -0500 From: Oleg Trott User-Agent: Mozilla Thunderbird 0.5 (X11/20040309) X-Accept-Language: en-us, en MIME-Version: 1.0 To: Ville-Pertti Keinonen CC: Michael Vanier , skaller@users.sourceforge.net, caml-list Subject: Re: [Caml-list] extensible records again References: <20040321062143.BE7D29BBA2@orchestra.cs.caltech.edu> <405D4D77.2030403@columbia.edu> <20040321084008.429279BBA2@orchestra.cs.caltech.edu> <405DBE78.5020609@columbia.edu> <1079888775.3165.11.camel@pelican.wigram> <405DD298.109@columbia.edu> <819CA932-7BD5-11D8-9C9B-000393863F70@exomi.com> In-Reply-To: <819CA932-7BD5-11D8-9C9B-000393863F70@exomi.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-No-Spam-Score: Local X-Scanned-By: MIMEDefang 2.40 X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; oleg:01 oleg:01 caml-list:01 extensible:01 fwiw:01 compiler:01 compiler:01 compilers:01 ocaml:01 ocaml:01 bytecode:01 trivial:01 native-code:02 compile:02 o'caml:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 302 Ville-Pertti Keinonen wrote: > > On Mar 21, 2004, at 7:36 PM, Oleg Trott wrote: > >> If I were writing a dynamically-typed language implementation in >> O'Caml, I'd _compile_ it _to_ O'Caml (as opposed to interpreting the >> language) In fact, except for EVAL and CALL/CC, it's probably very >> trivial to write a Scheme-to-OCaml compiler, and get the performance >> on par with decent native-code Scheme compilers. > > > How would you handle interactive sessions? It would have the same limitations as OCaml, obviously: interactive in bytecode only (this has long been one of my biggest gripes about OCaml, actually). FWIW, I don't think writing a Scheme-to-OCaml compiler is a very useful waste of one's time, just that it should be about as easy as writing an interpreter for Scheme in OCaml. Cheers, Oleg ------------------- 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