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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id ECCD0BC0A for ; Thu, 21 Dec 2006 14:27:30 +0100 (CET) Received: from mta3.srv.hcvlny.cv.net (mta3.srv.hcvlny.cv.net [167.206.4.198]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBLDRT9p030289 for ; Thu, 21 Dec 2006 14:27:30 +0100 Received: from [192.168.15.101] (ool-457da870.dyn.optonline.net [69.125.168.112]) by mta3.srv.hcvlny.cv.net (Sun Java System Messaging Server 6.2-6.01 (built Apr 3 2006)) with ESMTP id <0JAM000NQLDTHDV0@mta3.srv.hcvlny.cv.net> for caml-list@inria.fr; Thu, 21 Dec 2006 08:27:29 -0500 (EST) Date: Thu, 21 Dec 2006 08:30:35 -0500 From: Serge Aleynikov Subject: Re: [Caml-list] Scripting in ocaml In-reply-to: <1166685756.5337.4.camel@rosella.wigram> To: skaller Cc: caml-list@inria.fr Message-id: <458A8C7B.7050204@hq.idt.net> MIME-version: 1.0 Content-type: text/plain; charset=ISO-8859-1; format=flowed Content-transfer-encoding: 7BIT References: <6dbd4d000612201941wcd4b09anc503a13889576512@mail.gmail.com> <20061221153413.8f99e8ed.mle+ocaml@mega-nerd.com> <1166685756.5337.4.camel@rosella.wigram> User-Agent: Thunderbird 1.5.0.9 (Windows/20061207) X-Miltered: at discorde with ID 458A8BC1.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 erlang:01 bytecode:01 syntax:01 erlang:01 wrote:01 wrote:01 typing:01 typing:01 caml-list:01 python:02 python:02 authors:02 suited:03 skaller wrote: > On Thu, 2006-12-21 at 15:34 +1100, Erik de Castro Lopo wrote: >> Denis Bueno wrote: >> >>> I've been writing bash scripts to perform various build- and >>> development-related tasks, and I don't enjoy it. I won't bore you with >>> detailed reasons why. The upshot is that I'd like to script in OCaml. >> Makes a lot of sense. I used to do scripting style tasks in Python >> but nowadays I prefer to use Ocaml. > > As one of the authors of several major pieces of Python, > my comment is that whilst it provides great convenience > and good code structure .. dynamic typing just doesn't > scale. Could you please illustrate your point by more concrete reasoning. Erlang uses dynamic typing (or rather strict typing) and scales very well. > The big problem using Ocaml (bytecode) for scripting > is probably the ugly dynamic loading support, and > for long running systems, the lack of unloading support. > (plus the syntax which isn't really well suited to small > scale scripting applications). Why is dynamic loading ugly? In Erlang dynamic loading allows to do hot-swappable code-reloading which is a very neat feature for long-running systems. > As an alternative you might consider Neko and/or NekoML. > Regards, Serge