From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8DF8ABC6B for ; Sun, 17 Jun 2007 01:10:57 +0200 (CEST) Received: from smtp5-g19.free.fr (smtp5-g19.free.fr [212.27.42.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5GNAv5m010942 for ; Sun, 17 Jun 2007 01:10:57 +0200 Received: from [192.168.1.111] (vil93-4-82-227-140-227.fbx.proxad.net [82.227.140.227]) by smtp5-g19.free.fr (Postfix) with ESMTP id B8DA4449FC; Sun, 17 Jun 2007 01:10:56 +0200 (CEST) Message-ID: <46746DF4.2080902@philippewang.info> Date: Sun, 17 Jun 2007 01:10:44 +0200 From: Philippe Wang User-Agent: Thunderbird 1.5.0.12 (Macintosh/20070509) MIME-Version: 1.0 To: skaller Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Dynamic linking References: <4672B855.7040103@inria.fr> <4672C3BB.3040106@janestcapital.com> <4672D954.7080208@inria.fr> <200706161833.32255.jon@ffconsultancy.com> <1182016773.553.64.camel@rosella.wigram> In-Reply-To: <1182016773.553.64.camel@rosella.wigram> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46746E01.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0100,:01 frisch:01 toplevel:01 ocaml's:01 native-code:01 toplevel:01 ocaml:01 ocaml:01 trivial:01 wrote:01 wrote:01 binaries:01 caml-list:01 alain:01 compiling:02 skaller wrote: > On Sat, 2007-06-16 at 18:33 +0100, Jon Harrop wrote: > >> On Friday 15 June 2007 19:24:20 Alain Frisch wrote: >> >>> Except for the native toplevel which will probably not be included. >>> >> The native top-level is the bit that interests me the most, as this combines >> interactivity with OCaml's superb native-code performance. >> > > I do not understand how the toplevel is even remotely useful: > it isn't "interactive" in any real sense of the word. > > [...] A native toplevel can be (very) useful when using ocaml as a scripting language. I like to write (web) scripts with ocaml when I don't want to spend a lot of time on searching for trivial security holes (i.e. code injection) with languages such as bash or perl. And compiling a file and using the binaries is a risk of loosing the source... I know, this may sound weird... -- Philippe Wang