caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Peng Zang <peng.zang@gmail.com>
To: caml-list@yquem.inria.fr
Cc: ben kuin <benkuin@gmail.com>
Subject: Re: [Caml-list] about OcamIL
Date: Tue, 11 May 2010 21:57:46 -0400	[thread overview]
Message-ID: <201005112157.48603.peng.zang@gmail.com> (raw)
In-Reply-To: <AANLkTinNcB6WiPYO-MXA1duWwhbAHuP-7H-P82XOBDc-@mail.gmail.com>

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Ah, I guess I think of ocamlrun as just an interpreter.  But you're right, 
that's also a vm.

Peng

On Tuesday 11 May 2010 07:47:25 pm ben kuin wrote:
> > OCaml doesn't have a vm like the jvm.
>
> ocamlc compiles to bytecode
> ocamlrun interprets the bytecode
> bytecode interpreter == vm
> hence ocaml has a vm
>
> On Tue, May 11, 2010 at 6:39 PM, Peng Zang <peng.zang@gmail.com> wrote:
> > -----BEGIN PGP SIGNED MESSAGE-----
> > Hash: SHA1
> >
> > On Tuesday 11 May 2010 07:22:56 am ben kuin wrote:
> >> I think this 3 point are REASONABLE but the combination of those 3
> >> items is INEXISTENT.
> >>
> >> Ocaml: the vm is not very fast (no jit AFAIK)
> >>
> >>
> >> So I guess the best thing would be to use good ol Ocaml in native
> >> mode...?
> >
> > What do you mean by vm?  OCaml doesn't have a vm like the jvm.  Although
> > there's been some great work on compiling OCaml for the jvm.  OCaml does
> > have a toplevel interpreter.  It even has a native mode toplevel now
> > that's suppose to be fast (anyone have any experience with this?).  So
> > that's good. And of course as you pointed out you can always compile
> > OCaml code to native machine code which has always had good performance.
> >
> > Peng
> > -----BEGIN PGP SIGNATURE-----
> > Version: GnuPG v2.0.7 (GNU/Linux)
> >
> > iD4DBQFL6YhCfIRcEFL/JewRAuB7AJ9tDRHgDJGt3+VqmX4u/IxU+vRXyQCWL3NX
> > SkKhph4GC7xGA85ilSspTw==
> > =IxIG
> > -----END PGP SIGNATURE-----
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)

iD8DBQFL6gscfIRcEFL/JewRAgWBAJ93Hee3UhXDbLdX+bCuQs3Vwx72mQCaA/e4
G5U5E2pOf5NY3QvcciaenuU=
=W6jj
-----END PGP SIGNATURE-----


  reply	other threads:[~2010-05-12  1:57 UTC|newest]

Thread overview: 77+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-05-05 12:06 ben kuin
2010-05-05 14:19 ` [Caml-list] " Alain Frisch
     [not found]   ` <i2sc0c8bc8b1005051446q34b07d37xc4021d2b4b23d4e2@mail.gmail.com>
     [not found]     ` <4BE28085.5090100@lexifi.com>
2010-05-06 10:59       ` ben kuin
2010-05-05 18:58 ` Eray Ozkural
2010-05-05 19:16   ` Ed Keith
2010-05-05 20:15     ` Eray Ozkural
2010-05-05 22:13     ` Vincent Aravantinos
2010-05-05 22:36       ` ben kuin
2010-05-05 23:13         ` Eray Ozkural
2010-05-06 10:45           ` ben kuin
2010-05-06 14:38         ` Tim Hanson
2010-05-05 22:18     ` ben kuin
2010-05-06 11:13       ` Ed Keith
2010-05-06 10:43     ` Dmitry Bely
2010-05-06 16:33       ` Peng Zang
2010-05-07  7:26         ` Dmitry Bely
2010-05-07  8:25           ` Sylvain Le Gall
2010-05-10 21:53         ` [Caml-list] " Jon Harrop
2010-05-11 11:22           ` ben kuin
2010-05-11 16:39             ` Peng Zang
2010-05-11 17:35               ` Raoul Duke
2010-05-11 23:47               ` ben kuin
2010-05-12  1:57                 ` Peng Zang [this message]
2010-05-12 11:56               ` Jon Harrop
2010-05-11 17:38             ` Raoul Duke
2010-05-12 12:28             ` Jon Harrop
2010-05-12 13:11               ` forum
2010-05-14 10:40                 ` Jon Harrop
2010-05-14 10:58                   ` Eray Ozkural
2010-05-14 11:51                     ` forum
2010-05-14 11:51                   ` forum
2010-05-16 20:31                     ` Jon Harrop
2010-05-17  7:53                       ` forum
2010-05-19  0:17                         ` Jon Harrop
2010-05-19  7:46                           ` forum
2010-05-19 11:29                             ` Michael Ekstrand
2010-05-19 13:27                               ` [Caml-list] " Eray Ozkural
2010-05-19 13:35                                 ` David Allsopp
2010-05-19 15:23                                   ` Erick Tryzelaar
2010-05-19 16:49                                   ` Goswin von Brederlow
2010-05-19 16:48                                 ` Goswin von Brederlow
2010-05-20  2:03                             ` [Caml-list] " Jon Harrop
2010-05-14 13:55                   ` Ed Keith
2010-05-14 15:17                   ` Goswin von Brederlow
2010-05-14 16:26                     ` ben kuin
2010-05-14 16:32                       ` Vincent Aravantinos
2010-05-14 20:08                         ` ben kuin
2010-05-14 21:28                           ` Sylvain Le Gall
2010-05-14 21:29                             ` [Caml-list] " Vincent Aravantinos
2010-05-14 23:51                             ` ben kuin
2010-05-15  0:48                           ` [Caml-list] " Jon Harrop
2010-05-14 18:11                       ` Raoul Duke
2010-05-14 18:59                         ` ben kuin
     [not found]                           ` <AANLkTik-EuZRmX8VKMdAIsO_t8JGHvS6F9TPVLkohed8@mail.gmail.com>
2010-05-14 21:42                             ` Fwd: " Raoul Duke
2010-05-14 21:47                               ` Vincent Aravantinos
2010-05-14 21:57                                 ` Raoul Duke
2010-05-15  0:16                                 ` ben kuin
2010-05-15  0:43                                   ` Erik de Castro Lopo
2010-05-15  2:16                                     ` Goswin von Brederlow
2010-05-15 21:27                                       ` Jon Harrop
2010-05-16  3:19                                         ` Goswin von Brederlow
2010-05-15  9:45                                     ` ben kuin
2010-05-15 12:07                                       ` Ed Keith
2010-05-15 12:17                                       ` Vincent Aravantinos
2010-05-15 13:21                                         ` ben kuin
2010-05-15 22:18                                           ` Erik de Castro Lopo
2010-05-15 23:39                                             ` ben kuin
2010-05-16  3:23                                             ` Goswin von Brederlow
2010-05-15 13:23                                       ` Goswin von Brederlow
2010-05-15 21:45                                       ` Erik de Castro Lopo
2010-05-15 21:44                               ` Jon Harrop
2010-05-15 22:25                                 ` Erik de Castro Lopo
2010-05-16  2:04                                   ` Jon Harrop
2010-05-16  3:20                                     ` Goswin von Brederlow
2010-05-16 17:50                                     ` Eray Ozkural
2010-05-16 19:15                                       ` ben kuin
2010-05-05 21:59   ` ben kuin

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=201005112157.48603.peng.zang@gmail.com \
    --to=peng.zang@gmail.com \
    --cc=benkuin@gmail.com \
    --cc=caml-list@yquem.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).