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=HTML_MESSAGE, UNPARSEABLE_RELAY 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 A41AABC0A; Thu, 21 Dec 2006 22:07:15 +0100 (CET) Received: from imr8.us.db.com (imr8.us.db.com [160.83.65.200]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBLL7DlT021982 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL); Thu, 21 Dec 2006 22:07:15 +0100 Received: from sdbo1005.db.com by imr8.us.db.com id kBLL7Ccv019355; Thu, 21 Dec 2006 16:07:13 -0500 In-Reply-To: To: christophedehlinger@gmail.com Cc: "O'Caml Mailing List" , caml-list-bounces@yquem.inria.fr Subject: Re: [Caml-list] What is "principal typing"? MIME-Version: 1.0 X-Mailer: Lotus Notes Release 6.5.5 CCH1 March 07, 2006 From: Jeff Polakow Message-ID: Date: Thu, 21 Dec 2006 16:07:06 -0500 X-MIMETrack: Serialize by Router on sdbo1005/DBNA/DeuBaInt/DeuBa(Release 6.5.4 HF129|May 12, 2005) at 12/21/2006 04:07:13 PM, Serialize complete at 12/21/2006 04:07:13 PM Content-Type: multipart/alternative; boundary="=_alternative 007401EE8525724B_=" X-Miltered: at discorde with ID 458AF781.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; polakow:01 polakow:01 typings:01 typings:01 afaik:01 assertion:01 milner:01 afaik:01 assertion:01 milner:01 sans-serif:98 typing:01 caml-list:01 referenced:01 referenced:01 This is a multipart message in MIME format. --=_alternative 007401EE8525724B_= Content-Type: text/plain; charset="US-ASCII" Hello, > 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. > I hadn't heard of this work before. I'll try to take a look at it sometime. > 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. > Yes, I should have been more careful with my assertion. The paper I referenced actually shows that Hindley/Milner has no principal typings. -Jeff --- This e-mail may contain confidential and/or privileged information. If you are not the intended recipient (or have received this e-mail in error) please notify the sender immediately and destroy this e-mail. Any unauthorized copying, disclosure or distribution of the material in this e-mail is strictly forbidden. --=_alternative 007401EE8525724B_= Content-Type: text/html; charset="US-ASCII"
Hello,

> 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.
>
I hadn't heard of this work before. I'll try to take a look at it sometime.

> 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.
>
Yes, I should have been more careful with my assertion. The paper I referenced actually shows that Hindley/Milner has no principal typings.

-Jeff
---

This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorized copying, disclosure or distribution of the material in this
e-mail is strictly forbidden.
--=_alternative 007401EE8525724B_=--