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 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 70B94BC0A for ; Thu, 21 Dec 2006 21:39:36 +0100 (CET) Received: from mail17.bluewin.ch (mail17.bluewin.ch [195.186.18.64]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBLKdYsv016011 for ; Thu, 21 Dec 2006 21:39:36 +0100 Received: from [10.0.1.2] (85.1.106.252) by mail17.bluewin.ch (Bluewin 7.3.118) id 457D6B3400329FC2; Thu, 21 Dec 2006 20:39:33 +0000 In-Reply-To: <20061221202520.GG9440@apotheon.com> References: <6dbd4d000612201941wcd4b09anc503a13889576512@mail.gmail.com> <20061221153413.8f99e8ed.mle+ocaml@mega-nerd.com> <1166685756.5337.4.camel@rosella.wigram> <458A8C7B.7050204@hq.idt.net> <1166709162.5653.11.camel@rosella.wigram> <458AA143.3090303@hq.idt.net> <20061221202520.GG9440@apotheon.com> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: Cc: caml-list@yquem.inria.fr Content-Transfer-Encoding: quoted-printable From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Subject: Re: [Caml-list] Scripting in ocaml Date: Thu, 21 Dec 2006 21:41:01 +0100 To: Chad Perrin X-Mailer: Apple Mail (2.752.2) X-Miltered: at discorde with ID 458AF106.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 ocaml:01 ocaml:01 statically:01 typing:01 typing:01 caml-list:01 epfl:02 strong:96 typed:03 daniel:04 daniel:04 dec:05 ecrit:06 Le 21 d=E9c. 06 =E0 21:25, Chad Perrin a =E9crit : > I think you lost me. What do you mean by "strict typing" such that > OCaml doesn't do it? =46rom what I've seen, OCaml is both statically =20= > and > strongly typed. What do you mean by strong typing ? Daniel