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
Execution time of class versus record
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-06-24 (19:11)
From: Chris King <colanderman@g...>
Subject: Re: [Caml-list] Execution time of class versus record
On 6/24/07, Arnaud Spiwack <> wrote:
> Another lead is maybe something due to module compilation, the
> earlier idea might imply that each module has it's own namespace (it's
> the case for almost everything in OCaml, except, if I'm not mistaking,
> method names).

And polymorphic variants.  If you consider objects as extensible
records, ignoring instance variables and initializers and pretending
they support pattern matching and the "with" syntax, then their design
is essentially the record analogue of polymorphic variants.  Hence a
global namespace.

- Chris