caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Muriel SHAN SEI FAN <muriel.shanseifan@ocamlpro.com>
To: caml-list@inria.fr
Subject: [Caml-list] About Packs using Functors and Recursivity
Date: Thu, 24 Sep 2020 15:02:33 +0200
Message-ID: <8042e24e-06a7-4089-2118-03bdd7c7c3c4@ocamlpro.com> (raw)

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

             reply	other threads:[~2020-09-24 13:02 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-09-24 13:02 Muriel SHAN SEI FAN [this message]
2020-09-24 16:12 ` Andreas Rossberg
2020-09-25  8:30 Pierrick Couderc

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=8042e24e-06a7-4089-2118-03bdd7c7c3c4@ocamlpro.com \
    --to=muriel.shanseifan@ocamlpro.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ http://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git