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
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.