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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 6E871BC57 for ; Wed, 17 Nov 2010 11:46:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoMAALNB40zY5v4vmWdsb2JhbACiQRUBAQEBAQYNCgcRIsBWhUsEhFiGAIMMGg X-IronPort-AV: E=Sophos;i="4.59,210,1288566000"; d="scan'208";a="79297399" Received: from amout07.alpha-mail.net ([216.230.254.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Nov 2010 11:46:15 +0100 Received: from webarc04.alpha-mail.jp (webarc04 [216.230.254.84]) by amout07.alpha-mail.net with ESMTP id oAHAkAPm002966; Wed, 17 Nov 2010 19:46:10 +0900 X-Virus-Scanned: amavisd-new at Alpha-Mail Out Received: from ltsub01.alpha-mail.net (unknown [216.230.254.29]) by webarc04.alpha-mail.jp (Postfix) with ESMTP id 513C21C080CB; Wed, 17 Nov 2010 19:46:05 +0900 (JST) Received: from [192.168.0.101] (196.62.205.61.west.global.alpha-net.ne.jp [61.205.62.196]) by ltsub01.alpha-mail.net (Alpha-mail) with ESMTP id 6A8FB3B8086; Wed, 17 Nov 2010 19:46:10 +0900 (JST) Subject: Re: Native toplevel? (was: OCamlJit 2.0) Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=us-ascii From: Satoshi Ogasawara In-Reply-To: <4CE395D4.4000105@frisch.fr> Date: Wed, 17 Nov 2010 19:46:01 +0900 Content-Transfer-Encoding: quoted-printable Message-Id: <077EFF73-A400-4D0F-8F35-8EC6A90C3626@itpl.co.jp> References: <4CE395D4.4000105@frisch.fr> To: Caml List Mailing X-Pgp-Agent: GPGMail 1.3.1 X-Mailer: Apple Mail (2.1081) X-Spam: no; 0.00; toplevel:01 hash:01 frisch:01 prototyping:01 toplevel:01 ocaml:01 2.0:98 wrote:01 alain:01 theorem:02 native:03 message-----:05 pgp:05 pgp:05 provers:05 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 2010/11/17, at 17:44, Alain Frisch wrote: > Does performance really matter that much for rapid = prototyping/development? I can imagine other uses of the toplevel where = performance matters more, like theorem provers embedded in the OCaml = toplevel. ocamltter( https://github.com/yoshihiro503/ocamltter ) is a twitter = client in the toplevel.=20 I believe the toplevel is useful user interface to make a tiny = application. - -- ogasawara -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (Darwin) iEYEARECAAYFAkzjsmoACgkQzTChtNfYLwb1JACgl0kC9y6e1q7fyH4r+GOZYLvu V6kAoMHIPg2KPuUazqsVctc5l0ad3iGZ =3DLZno -----END PGP SIGNATURE-----