From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <vincent.aravantinos@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 49F8CBC57
	for <caml-list@yquem.inria.fr>; Fri, 14 May 2010 18:32:04 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AncDAFcY7UtKfVK0gGdsb2JhbACdcQgVAQEUJCKta4IAhQUuiE0BAQMFhQsE
X-IronPort-AV: E=Sophos;i="4.53,231,1272837600"; 
   d="scan'208,217";a="51178638"
Received: from mail-wy0-f180.google.com ([74.125.82.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 14 May 2010 18:32:04 +0200
Received: by wyb33 with SMTP id 33so282404wyb.39
        for <caml-list@yquem.inria.fr>; Fri, 14 May 2010 09:32:04 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:cc:message-id:from:to
         :in-reply-to:content-type:mime-version:subject:date:references
         :x-mailer;
        bh=XMOi1lFThEidYh0S40bSIcXbc/hiDDskwSDUxideZeE=;
        b=exxx57ZIBo+HuKTNN9mdt+SwIGdSMQmPdDrK9xzcZUxXPEL/396qLCtfWGDRctbahx
         a3ZnpLzn+FB6XOOFVUZqnUGQ0D+sKXZjecE35AzGx9vq6RB4SRPUv/90zLrWUJhIOpcm
         VldfoMk74DqN2m7GMUNsZggeAIFJYMM4u8eRk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=cc:message-id:from:to:in-reply-to:content-type:mime-version:subject
         :date:references:x-mailer;
        b=DZcVQmd0oN1OZUC6+Zb+zG/L+TuoLgFB5ecrhO+rpdB9tPFmjK9b/Jr6VhTZQaAzzC
         Kcn/iAddRyXBw5tmBTglI8WIT+iJ1eedBVcDgCNG1X4ah1kxGJV6Q1UsUbm/gIVsG/pu
         jn/7hi6QMfPbI7RGxFQRgq+XSIlU+DPM21xBI=
Received: by 10.227.128.9 with SMTP id i9mr1447003wbs.203.1273854723659;
        Fri, 14 May 2010 09:32:03 -0700 (PDT)
Received: from [192.168.0.11] (tui75-1-81-57-73-233.fbx.proxad.net [81.57.73.233])
        by mx.google.com with ESMTPS id h22sm17583403wbh.15.2010.05.14.09.32.01
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Fri, 14 May 2010 09:32:01 -0700 (PDT)
Cc: caml-list <caml-list@yquem.inria.fr>
Message-Id: <0E1811BF-59F6-4531-8A65-67B60A4F345D@gmail.com>
From: Vincent Aravantinos <vincent.aravantinos@gmail.com>
To: ben kuin <benkuin@gmail.com>
In-Reply-To: <AANLkTimi-r33ze7oyRr2mu29kxUUs997lnHwKTXaUBjN@mail.gmail.com>
Content-Type: multipart/alternative; boundary=Apple-Mail-1--805223059
Mime-Version: 1.0 (Apple Message framework v936)
Subject: Re: [Caml-list] about OcamIL
Date: Fri, 14 May 2010 18:32:00 +0200
References: <w2t320e992a1005051158pcdb30e5w48409aa8b6e464e4@mail.gmail.com> <951508.20587.qm@web58708.mail.re1.yahoo.com> <g2j90823c941005060343t88c91d06k731ccd01ec225c07@mail.gmail.com> <201005061233.07551.peng.zang@gmail.com> <07b101caf08b$3e5022c0$baf06840$@com> <AANLkTik7gzvUrLntCLbL7gQow4RCzkXDPwCNiCHIE6Or@mail.gmail.com> <088201caf1ce$b5060cb0$1f122610$@com> <20100512151137.26894ywcpv71ixvk@imp.ovh.net> <012601caf351$e9a362e0$bcea28a0$@com> <87fx1uh5r5.fsf@frosties.localdomain> <AANLkTimi-r33ze7oyRr2mu29kxUUs997lnHwKTXaUBjN@mail.gmail.com>
X-Mailer: Apple Mail (2.936)
X-Spam: no; 0.00; ocaml:01 bytecode:01 runtime:01 ocaml:01 bytecode:01 runtime:01 26,:98 slick:98 26,:98 slick:98 compilers:01 compilers:01 caml-list:01 precisely:01 precisely:01 


--Apple-Mail-1--805223059
Content-Type: text/plain;
	charset=ISO-8859-1;
	format=flowed
Content-Transfer-Encoding: quoted-printable


Le 14 mai 10 =E0 18:26, ben kuin a =E9crit :

> I think something like the clr would be a huge progress
> first and foremost for the linux programmers. Maybe Ocaml could play
> an important role of providing a slick api, because of its strength
> when it comes to language implementation (compilers), so we would
> have:
>
> gil ( gnu intermediate language, a bytecode )
> gilrt ( gnu intermediate language runtime, a jit based vm)
>
> - the gilrt written in c or c++
> - an Ocaml binding to the gilrt
> - different language implementations gPython, gRuby, gC, gJava
> (Language to gil compilers written in Ocaml)
>
> Or maybe that's just crazy talk ...
> ben

Isn't this precisely the aim of Jon's hlvm =
(www.ffconsultancy.com/ocaml/hlvm/)?

V.=

--Apple-Mail-1--805223059
Content-Type: text/html;
	charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<html><body style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; =
-webkit-line-break: after-white-space; "><br><div><div>Le 14 mai 10 =E0 =
18:26, ben kuin a =E9crit :</div><br =
class=3D"Apple-interchange-newline"><blockquote type=3D"cite"><span =
class=3D"Apple-style-span" style=3D"border-collapse: separate; color: =
rgb(0, 0, 0); font-family: Monaco; font-size: medium; font-style: =
normal; font-variant: normal; font-weight: normal; letter-spacing: =
normal; line-height: normal; orphans: 2; text-align: auto; text-indent: =
0px; text-transform: none; white-space: normal; widows: 2; word-spacing: =
0px; -webkit-border-horizontal-spacing: 0px; =
-webkit-border-vertical-spacing: 0px; =
-webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: =
auto; -webkit-text-stroke-width: 0px; "><span class=3D"Apple-style-span" =
style=3D"font-family: monospace; ">I think something like the clr would =
be a huge progress<br>first and foremost for the linux programmers. =
Maybe Ocaml could play<br>an important role of providing a slick api, =
because of its strength<br>when it comes to language implementation =
(compilers), so we would<br>have:<br><br>gil ( gnu intermediate =
language, a bytecode )<br>gilrt ( gnu intermediate language runtime, a =
jit based vm)<br><br>- the gilrt written in c or c++<br>- an Ocaml =
binding to the gilrt<br>- different language implementations gPython, =
gRuby, gC, gJava<br>(Language to gil compilers written in =
Ocaml)<br><br>Or maybe that's just crazy talk =
...<br>ben<br></span></span></blockquote></div><br><div>Isn't this =
precisely the aim of Jon's hlvm (<a =
href=3D"http://www.ffconsultancy.com/ocaml/hlvm/">www.ffconsultancy.com/oc=
aml/hlvm/</a>)?</div><meta =
charset=3D"utf-8"><div><br></div><div>V.</div></body></html>=

--Apple-Mail-1--805223059--