From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id BDA08BC57 for ; Wed, 12 May 2010 03:57:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AikCAFKn6UvRVd20kGdsb2JhbACRZow7CBUBAQEBCQkMBxEDH6pFCoF2hRcuiE4BAQMFhQwEjHg X-IronPort-AV: E=Sophos;i="4.53,211,1272837600"; d="scan'208";a="50515664" Received: from mail-qy0-f180.google.com ([209.85.221.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 May 2010 03:57:55 +0200 Received: by qyk10 with SMTP id 10so8350849qyk.11 for ; Tue, 11 May 2010 18:57:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=mh4xfgbNJDS+60BF2LGAQveAztyqCpj5nd/k78GIXNI=; b=fF/8/83CjF+blXPTDl8Tmx4xUxFq/ce2ZHyucs/fnsrrMmZa5dQ//7TtvKxbKW8juy GEYQoppxPNx+Qk3B1IBlI0vssNMP74w/6nr+2oAStqeCiuMKFLxw+rRQHecN9JBfSDRg SIBVWxbXeVjFVUJgrtAVzxj5ebVHVGPK+1H+8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=HHRG0mlWHj3Q9GtIycwuhhstFol7PwHxB0aEtecsmw4LJ5nMYJXXbtIAzKRuYluHIE 4e+L5io8A+loetun6FF9jh5Pt5GlLVfzr4zpiY3AcS+l8zCUcdhD0EiwRSgassyqI8Y5 eAtiluayqPO+vXGXAvHyTbXMrDEwtrWDlRRzA= Received: by 10.224.72.216 with SMTP id n24mr4474356qaj.232.1273629472293; Tue, 11 May 2010 18:57:52 -0700 (PDT) Received: from [10.255.253.194] ([209.226.25.124]) by mx.google.com with ESMTPS id 7sm13425332qwf.16.2010.05.11.18.57.49 (version=TLSv1/SSLv3 cipher=RC4-MD5); Tue, 11 May 2010 18:57:50 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] about OcamIL Date: Tue, 11 May 2010 21:57:46 -0400 User-Agent: KMail/1.9.10 Cc: ben kuin References: <201005111239.30902.peng.zang@gmail.com> In-Reply-To: Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <201005112157.48603.peng.zang@gmail.com> X-Spam: no; 0.00; hash:01 ocamlrun:01 ocaml:01 ocamlc:01 bytecode:01 ocamlrun:01 interprets:01 bytecode:01 ocaml:01 hash:01 afaik:01 toplevel:01 toplevel:01 peng:98 peng:98 -----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 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-----