Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
What is "principal typing"?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-21 (07:27)
From: Christophe Dehlinger <christophedehlinger@g...>
Subject: Re: [Caml-list] What is "principal typing"?
On 12/21/06, Jeff Polakow <> 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 ), 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.