caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Re: [Caml-list] About Packs using Functors and Recursivity
@ 2020-09-25  8:30 Pierrick Couderc
  0 siblings, 0 replies; 3+ messages in thread
From: Pierrick Couderc @ 2020-09-25  8:30 UTC (permalink / raw)
  To: Andreas Rossberg, muriel.shanseifan; +Cc: caml-list

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [Caml-list] About Packs using Functors and Recursivity
  2020-09-24 13:02 Muriel SHAN SEI FAN
@ 2020-09-24 16:12 ` Andreas Rossberg
  0 siblings, 0 replies; 3+ messages in thread
From: Andreas Rossberg @ 2020-09-24 16:12 UTC (permalink / raw)
  To: muriel.shanseifan; +Cc: caml-list


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

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Caml-list] About Packs using Functors and Recursivity
@ 2020-09-24 13:02 Muriel SHAN SEI FAN
  2020-09-24 16:12 ` Andreas Rossberg
  0 siblings, 1 reply; 3+ messages in thread
From: Muriel SHAN SEI FAN @ 2020-09-24 13:02 UTC (permalink / raw)
  To: caml-list

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

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2020-09-25  8:31 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-25  8:30 [Caml-list] About Packs using Functors and Recursivity Pierrick Couderc
  -- strict thread matches above, loose matches on Subject: below --
2020-09-24 13:02 Muriel SHAN SEI FAN
2020-09-24 16:12 ` Andreas Rossberg

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