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.