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
Instruction selection in the OCaml compiler: Modules or classes?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-24 (11:48)
From: David Baelde <david.baelde@g...>
Subject: Re: [Caml-list] Instruction selection in the OCaml compiler: Modulesor classes?
On 2/24/07, skaller <> wrote:
> It seems like a module functor allows both anonymous
> signatures (structural) and also anonymous argument
> modules (structural), yet you cannot have
> anonymous functor applications: you have to bind the application to
> a module name. If we really had structural typing that name would
> simply be an alias. Why can't we eliminate that name? ***

One worthy remark here might be that side-effects can occur at functor
instantiation. Then, forcing the user to think about when the
instantiation occurs is useful...