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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-07-10 (06:06)
From: Matthew O'Connor <angagon@e...>
Subject: Re: [Caml-list] Object typing
Pietro Abate wrote:
> you can try to restrict the polimorphy variant type (and maybe 
> having more than one type to make the hierarchy explicit).

Restricting the type to a fixed variant is an option that I would like
to stay away from as it would require the base entity class to know of
all possible subtypes.  (Yes, this could be solved using the module
system, but I'd rather not.)  Thanks, though.