English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
different records, same field name?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-03-03 (21:04)
From: Michael Wohlwend <micha-1@f...>
Subject: Re: [Caml-list] different records, same field name?
Am Montag 03 März 2008 20:32:02 schrieb Kuba Ober:
> I think that type inference in OCaml sometimes gets in the way of other
> language features. I'd much rather see OCaml go in a direction where type
> inference is performed on "as far as it can go" basis.

I'm also the opinion, that type inference should be a feature. In the case of 
the record labels, if the compiler cannot decide the type of a record, an 
error could be issued to let the user manually fix it. The duplicate record 
label thingy arises regulary on the list, but I think it will stay a feature 
of ocaml :-)