From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <christophedehlinger@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=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 concorde.inria.fr (concorde.inria.fr [192.93.2.39])
	by yquem.inria.fr (Postfix) with ESMTP id C65C6BC0A
	for <caml-list@yquem.inria.fr>; Thu, 21 Dec 2006 08:27:15 +0100 (CET)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.169])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBL7RF7W030014
	for <caml-list@inria.fr>; Thu, 21 Dec 2006 08:27:15 +0100
Received: by ug-out-1314.google.com with SMTP id k3so2233148ugf
        for <caml-list@inria.fr>; Wed, 20 Dec 2006 23:27:15 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=HLYrwSeXVFMjZhusaQLOJyCQ2BK83IC2eG2CqdL64PcxJAlIVbDe5BBpWz3Lbs6VZ4hULyVxuDxkp+kpcwpq6aTisc6swQchHNr2tbX5UIdVvN6Ho6S1QeH2dknz/AyZj6juRdUu43rQQdhCjn+UAktXVMgami+m4iroaZOTSkU=
Received: by 10.67.20.3 with SMTP id x3mr11839740ugi.1166686035254;
        Wed, 20 Dec 2006 23:27:15 -0800 (PST)
Received: by 10.66.242.13 with HTTP; Wed, 20 Dec 2006 23:27:15 -0800 (PST)
Message-ID: <f24432a00612202327u53356314hd9a5a38f70c72a47@mail.gmail.com>
Date: Thu, 21 Dec 2006 08:27:15 +0100
From: "Christophe Dehlinger" <christophedehlinger@gmail.com>
To: "O'Caml Mailing List" <caml-list@inria.fr>
Subject: Re: [Caml-list] What is "principal typing"?
In-Reply-To: <OF87E2E99E.6BAB6D82-ON8525724B.00156B64-8525724B.0016ECC2@db.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <c1490a380612201353ib8e04eem44e82b01faf1be14@mail.gmail.com>
	 <OF87E2E99E.6BAB6D82-ON8525724B.00156B64-8525724B.0016ECC2@db.com>
X-j-chkmail-Score: MSGID : 458A3753.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at concorde with ID 458A3753.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; christophe:01 polakow:01 polakow:01 inference:01 typings:01 typings:01 afaik:01 wrote:01 typing:01 caml-list:01 types:03 separately:05 variation:06 usual:06 uses:06 

On 12/21/06, Jeff Polakow <jeff.polakow@db.com> wrote:
>
> Principal typeings, which ML does not have, are useful because they allow for compositional type inference (i.e. each piece of the program can be analyzed separately).
>
>

According to a 2005 paper by Camarao and Figueiredo (found at
http://www.dcc.ufmg.br/~camarao/ml-has-pt.pdf ), there is a variation
of the usual Damas-Milner type system for core-ML that types the same
terms and also has principal typings.

So the language ML does have principal typings, in the sense that it
has a useful type system with principal typings, but afaik no ML
implementation uses a such a type system.