[Caml-list] About Packs using Functors and Recursivity

[Muriel SHAN SEI FAN <muriel.shanseifan@ocamlpro.com>]

[-- 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 --]