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 (21:07)
From: Jeff Polakow <jeff.polakow@d...>
Subject: Re: [Caml-list] What is "principal typing"?

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

> 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.



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.