Re: [Caml-list] Questions concerning modules as first-class values

[Julien Signoles <julien.signoles@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1248 bytes --]

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

[-- Attachment #2: Type: text/html, Size: 1905 bytes --]