Archives of the Caml mailing list > Message from David Baelde

Browse thread

Instruction selection in the OCaml compiler: Modules or classes?

Joel Reymont
- Tom
- Xavier Leroy
- Chris King
- Markus Mottl
- brogoff
  - Tom
    - Andreas Rossberg
      - skaller
        
        David Baelde
        
        Lukasz Stafiniak
        
        Andreas Rossberg
        
        skaller

Date:	-- (:)
From:	David Baelde <david.baelde@g...>
Subject:	Re: [Caml-list] Instruction selection in the OCaml compiler: Modulesor classes?

On 2/24/07, skaller <skaller@users.sourceforge.net> 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...

--David