[Caml-list] About Packs using Functors and Recursivity

[Caml-list] About Packs using Functors and Recursivity

[Muriel SHAN SEI FAN]

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

Hi,
We are pleased to share a new blogpost about functor units and functor
packs.

The first part shows our work to generate functor units and functor packs:
Rehabilitating Packs using Functors and Recursivity, part 1. 1
<https://www.ocamlpro.com/2020/09/24/rehabilitating-packs-using-functors-and-recursivity-part-1/>

    /Packs in the OCaml ecosystem are kind of an outdated concept
    (options -pack and -for-pack the OCaml manual, and their main
    utility has been overtaken by the introduction of module aliases in
    OCaml 4.02. What if we tried to redeem them and give them a new
    youth and utility by adding the possibility to generate functors or
    recursive packs?/
    /This blog post covers the functor units and functor packs, while
    the next one will be centered around recursive packs. Both RFCs are
    currently developed by JaneStreet and OCamlPro. This idea was
    initially introduced by functor packs (Fabrice Le Fessant) and later
    generalized by functorized namespaces (Pierrick Couderc et al.).
    /


Cheers,
Muriel, OCamlPro <https://timeline.ocamlpro.com>


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

Re: [Caml-list] About Packs using Functors and Recursivity

[Andreas Rossberg]

[-- Attachment #1.1: Type: text/plain, Size: 560 bytes --]

> On 24. Sep 2020, at 15:02, Muriel SHAN SEI FAN <muriel.shanseifan@ocamlpro.com> wrote:
> 
> Hi,
> We are pleased to share a new blogpost about functor units and functor packs.
> 
> The first part shows our work to generate functor units and functor packs: 
> Rehabilitating Packs using Functors and Recursivity, part 1. 1 <https://www.ocamlpro.com/2020/09/24/rehabilitating-packs-using-functors-and-recursivity-part-1/>

Very nice, I’ve been hoping for something like this! Will it also support multiple functor parameters?

Cheers,
/Andreas


[-- Attachment #1.2: Type: text/html, Size: 1397 bytes --]

[-- Attachment #2: smime.p7s --]
[-- Type: application/pkcs7-signature, Size: 1579 bytes --]

Re: [Caml-list] About Packs using Functors and Recursivity

[Pierrick Couderc]

Hi Andreas,

Thank you for your feedback!
Actually yes, it supports multiple parameters by simply giving multiple `-parameter <module>` options to the compiler.

Cheers,
Pierrick
2020-09-24 18:12 GMT+02:00 "Andreas Rossberg" <rossberg@mpi-sws.org>:
>> On 24. Sep 2020, at 15:02, Muriel SHAN SEI FAN <muriel.shanseifan@ocamlpro.com> wrote:
>> 
>> Hi,
>> We are pleased to share a new blogpost about functor units and functor packs.
>> 
>> The first part shows our work to generate functor units and functor packs: 
>> Rehabilitating Packs using Functors and Recursivity, part 1. 1 <https://www.ocamlpro.com/2020/09/24/rehabilitating-packs-using-functors-and-recursivity-part-1/>
> 
> Very nice, I’ve been hoping for something like this! Will it also support multiple functor parameters?
> 
> Cheers,
> /Andreas
> 
>