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.1 required=5.0 tests=AWL 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 EAFE1BC0A for ; Thu, 21 Dec 2006 23:17:18 +0100 (CET) Received: from host15.ipowerweb.com (host15.ipowerweb.com [66.235.219.115]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBLMHHYu005880 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 21 Dec 2006 23:17:18 +0100 Received: from c-24-9-123-251.hsd1.co.comcast.net ([24.9.123.251] helo=apotheon.com) by host15.ipowerweb.com with esmtp (Exim 4.52) id 1GxWDt-0002uT-Gk; Thu, 21 Dec 2006 14:17:09 -0800 Received: by apotheon.com (Postfix, from userid 1000) id 25EAB333CC; Thu, 21 Dec 2006 15:16:50 -0700 (MST) Date: Thu, 21 Dec 2006 15:16:50 -0700 From: Chad Perrin To: Daniel =?iso-8859-1?Q?B=FCnzli?= Cc: Chad Perrin , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Scripting in ocaml Message-ID: <20061221221650.GL9440@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 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.13 (2006-08-11) Content-Transfer-Encoding: quoted-printable X-Antivirus-Scanner: Clean mail though you should still use an Antivirus X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - host15.ipowerweb.com X-AntiAbuse: Original Domain - yquem.inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - apotheon.com X-Source: X-Source-Args: X-Source-Dir: X-Miltered: at discorde with ID 458B07ED.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0100,:01 bunzli:01 ocaml:01 statically:01 minsky:01 wrote:01 typing:01 typing:01 caml-list:01 in-place:02 strong:96 typed:03 daniel:04 ccd:94 On Thu, Dec 21, 2006 at 09:41:01PM +0100, Daniel B=FCnzli wrote: > Le 21 d=E9c. 06 =E0 21:25, Chad Perrin a =E9crit : >=20 > >I think you lost me. What do you mean by "strict typing" such that > >OCaml doesn't do it? From what I've seen, OCaml is both statically =20 > >and > >strongly typed. >=20 > What do you mean by strong typing ? I mean that it doesn't allow you to go around doing in-place type changes willy-nilly the way something like C does. --=20 CCD CopyWrite Chad Perrin [ http://ccd.apotheon.org ] "It's just incredible that a trillion-synapse computer could actually spend Saturday afternoon watching a football game." - Marvin Minsky