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=1.3 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL 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 6443BBC0A for ; Sat, 23 Dec 2006 22:50:36 +0100 (CET) Received: from nf-out-0910.google.com (nf-out-0910.google.com [64.233.182.188]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBNLoZ6n010274 for ; Sat, 23 Dec 2006 22:50:36 +0100 Received: by nf-out-0910.google.com with SMTP id q29so3957354nfc for ; Sat, 23 Dec 2006 13:50:35 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=Zv05mpL6BTi6TbdcywheQZuzr+t0ps7G3Q0fGlvaPVSCsTGgeAWI/PUXxKUzDCtUylatYHPrteu6mvZ3zDkp+Dk5DvUq4Ov4vDOyI3aKL8cOEM8nM8csUiv/ehqzzpHU/pixWnZg3ZOuFBPoNmBoYCAwwkKZ3GAAP+IGHpIon0k= Received: by 10.82.169.4 with SMTP id r4mr289068bue.1166910635461; Sat, 23 Dec 2006 13:50:35 -0800 (PST) Received: by 10.82.100.16 with HTTP; Sat, 23 Dec 2006 13:50:35 -0800 (PST) Message-ID: Date: Sat, 23 Dec 2006 22:50:35 +0100 From: Tom To: "Chad Perrin" Subject: Re: strong/weak typing terminology (was Re: [Caml-list] Scripting in ocaml) Cc: caml-list@yquem.inria.fr In-Reply-To: <20061223160612.GA8851@apotheon.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_83696_32087246.1166910635427" References: <458AA143.3090303@hq.idt.net> <20061221221650.GL9440@apotheon.com> <3EC73FC3-41A6-4FB1-9549-29286A6568CC@epfl.ch> <1166811403.6555.46.camel@rosella.wigram> <4E1EAAC5-DC08-4A55-9AEB-0D5D3BE1C0EA@epfl.ch> <1166816522.7448.45.camel@rosella.wigram> <20061223160612.GA8851@apotheon.com> X-j-chkmail-Score: MSGID : 458DA4AB.001 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 458DA4AB.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 typing:01 caml-list:01 define:01 define:01 strong:96 weak:04 anyway:06 anyway:06 discussion:07 discussion:07 definition:07 definition:07 rather:08 rather:08 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_83696_32087246.1166910635427 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline > > > > And that is, unsurprisingly, your definition. Can you show me an > > authoritative source to support your claims ? > > > > Anyway, this terminology is as spoiled as this discussion so it is > > worth not using it. > > Yeah, terminology sucks. Let's abandon all terminology. Why so? Why not rather define it, so that it is definite and absolute once and for all. Then we become that authoritative source... :P - Tom ------=_Part_83696_32087246.1166910635427 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline

> And that is, unsurprisingly, your definition. Can you show me an
> authoritative source to support your claims ?
>
> Anyway, this terminology is as spoiled as this discussion so it is
> worth not using it.

Yeah, terminology sucks.  Let's abandon all terminology.

Why so? Why not rather define it, so that it is definite and absolute once and for all. Then we become that authoritative source... :P

- Tom
 


------=_Part_83696_32087246.1166910635427--