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 NAA08842; Sat, 28 Aug 2004 13:37:55 +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 NAA07049 for ; Sat, 28 Aug 2004 13:37:54 +0200 (MET DST) Received: from qrnik.knm.org.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i7SBbqdf013639 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sat, 28 Aug 2004 13:37:53 +0200 Received: from qrnik ([192.168.0.1] ident=qrczak) by qrnik.knm.org.pl with esmtp (Exim 3.36 #1) id 1C11Wq-0008IX-00 for caml-list@inria.fr; Sat, 28 Aug 2004 13:37:52 +0200 Subject: Re: [Caml-list] Alternative Bytecodes for OCaml From: "Marcin 'Qrczak' Kowalczyk" To: caml-list In-Reply-To: <1093689700.15255.1857.camel@pelican.wigram> References: <200408250926.28629.jgoerzen@complete.org> <200408271349.25317.jgoerzen@complete.org> <1093639193.15255.1543.camel@pelican.wigram> <200408271556.44476.jgoerzen@complete.org> <1093652716.15255.1636.camel@pelican.wigram> <1093685746.16212.21.camel@qrnik> <1093686634.16212.24.camel@qrnik> <1093689700.15255.1857.camel@pelican.wigram> Content-Type: text/plain; charset=ISO-8859-2 Date: Sat, 28 Aug 2004 13:37:51 +0200 Message-Id: <1093693071.16212.40.camel@qrnik> Mime-Version: 1.0 X-Mailer: Evolution 1.5.9.2 Content-Transfer-Encoding: quoted-printable X-Miltered: at concorde with ID 41306E90.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bytecodes:01 marcin:01 'qrczak':01 kowalczyk:01 qrczak:01 low-level:01 python:01 model:01 glue:01 statically:01 marcin:01 kowalczyk:01 qrczak:01 ocaml:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk W li=B6cie z sob, 28-08-2004, godz. 20:41 +1000, skaller napisa=B3: > The problem here is: if you have a universal architecture, > such as JVM or CLR -- it defeats some of the most important > reasons to choose one language over another, which is often > the novel architecture. There is a good reason to be able to choose languages: to access libraries written for these languages. It's nice if accessing a library doesn't force to use a particular language. Especially if we want to access two libraries written for different languages in the same program. And especially as most libraries are written for low-level languages which are not pleasant to write big applications directly in. * * * While C and C++ have more important libraries to access, bridging to other languages can be much easier. It creates another opportunity to use C/C++ libraries if someone has gone the trouble of wrapping them for some high level language. I made a bridge between my language Kogut and Python (quite nice), and between Kogut and Perl (not nice because the Perl object model is unusual). This allows to use Gtk+ via PyGTK or Gtk2-Perl without any Gtk-specific glue on my side. Hello-world-type Gtk+ applications work in both cases (I haven't tried anything more serious yet). I will try to make a bridge with OCaml, but I'm not quite sure how it should look like, because OCaml is statically typed. --=20 __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/ ------------------- 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