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
Type system infering 'a and '_a
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-09-14 (02:13)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Type system infering 'a and '_a
On Thu, 2006-09-14 at 09:24 +0900, Jacques Garrigue wrote:
> From: Tom <>

> The main role of a type system is not to be smart, just to be correct :-)

Bull! Ordinary variants are correct. Polymorphic variants are SMART :)
Second order polymorphism for class and record fields .. that's
pretty smart too. Particularly the fact it works with the usual
type inference with only minor hiccups (occasionally you need
some coercions).

John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: