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
Polymorphic variant typing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-02-16 (10:12)
From: Radu Grigore <radugrigore@g...>
Subject: Re: [Caml-list] Polymorphic variant typing
On Wed, 16 Feb 2005 15:40:22 +0900 (JST), Jacques Garrigue
<garrigue@math.nagoya-u.ac.jp> wrote:
> From: Gilles Dubochet <dubochet@urbanet.ch>
> > Just to make it crystal clear for me: You say that the "main reason for
> > this choice is avoiding making rows explicit", does this mean that the
> > O'Caml team feels that row-based type information is too complicated
> > for an average user since you either steer away of hide it in an object
> > model?
> Basically yes. Hence the clever tricks to have types containing hidden
> row variables, like #t, [< t], [> t]. [...]

Perspective from an ocaml beginner & someone who doesn't know about
row variables (that would be me): the [> t] and [< t] notations seem
very intuitive. However, now that I know they hide something, I'd like
to know what (and I'll have to rely on google instead of the ocaml
compiler for that).