[CST-2] Types (NOT Opt Comp.) 1997/7/10

[Matej Pfajfar]

Sorry I just realised the mistake. The question (repeated below) is
clearly about Types, not Opt. Comp.

Mat

> The question asks to explain the notion of a principal type. Presumably
> the answer to this is that the principle type is just the principal type
> scheme.
> Then it also asks whether the set of type inference rules (for an ML-like
> language), which you had to give in the previous part of the question, has
> this propery.
> I am a bit confused as to how type inference rules exhibit a principal
> type property? Anyone?
> thanks,
>
> Mat
>
> Matej Pfajfar
> St John's College, University of Cambridge, UK
>
> GPG Public Key @ http://matejpfajfar.co.uk/keys
> Most people are good people, the rest of us are going to
> run the world. -- badbytes
>
> WARNING: THIS E-MAIL ACCOUNT WILL BE DELETED ON
>          30/09/2002. PLEASE USE mp@cantab.net.
>
>
>
> _______________________________________________
> CST-2 mailing list
> CST-2@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-2
>

Matej Pfajfar
St John's College, University of Cambridge, UK

GPG Public Key @ http://matejpfajfar.co.uk/keys
Most people are good people, the rest of us are going to
run the world. -- badbytes

WARNING: THIS E-MAIL ACCOUNT WILL BE DELETED ON
         30/09/2002. PLEASE USE mp@cantab.net.