Version française
Home     About     Download     Resources     Contact us    
Browse thread
Questions concerning modules as first-class values
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Julien Signoles <julien.signoles@g...>
Subject: Re: [Caml-list] Questions concerning modules as first-class values
Hello,

2010/6/2 Dario Teixeira <darioteixeira@yahoo.com>

> -------------------------------------------------
> |               | 0-arity       | n-arity (n>0) |
> -------------------------------------------------
> | Valueish      | value         | function      |
> |               |               |               |
> | Moduleish     | module        | functor       |
> -------------------------------------------------
>

I disagree with your terminology. Below is the one I use:

-------------------------------------------------
> |               | 0-arity       | n-arity (n>0) |
> -------------------------------------------------
> | Value     | constant    | function       |
> |               |                   |                    |
> | Module  | structure     | functor        |
> -------------------------------------------------
>


> Second, does the promotion of modules to first-class values also extend to
> higher-order modules, ie, functors?
>

If I well understood what Alain Frisch and Xavier Leroy explained, modules
(including both structures and functors) become first class value:
structures may be converted to records and functors to functions; and
conversely. But I let more informed person confirm this.

--
Julien