From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id EFF735D5 for ; Thu, 24 Sep 2020 16:12:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.77,298,1596492000"; d="p7s'?scan'208,217";a="469425069" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Sep 2020 18:12:29 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 42321E0B4F; Thu, 24 Sep 2020 18:12:29 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 18AA3E00E5 for ; Thu, 24 Sep 2020 18:12:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=rossberg@mpi-sws.org; spf=Pass smtp.mailfrom=rossberg@mpi-sws.org; spf=None smtp.helo=postmaster@jupiter.mpi-klsb.mpg.de IronPort-PHdr: =?us-ascii?q?9a23=3AyFA/ohR1PiFEOO5BgadEr1wk4tpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6ybBON2/xhgRfzUJnB7Loc0qyK6v+mADxLscnJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRe7oR/MusQVjodvKaQ8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DvB2uqAFxzY7Wb4+bN/R+cL3Tc9QBSGpOQspRUjZMAoOg?= =?us-ascii?q?Y4YNCecKIOZWr5P6p1sLtRazGQ+sC/71yjBWnHD2xrAx3fgmEQHdxwwvBMwBsG?= =?us-ascii?q?7brN7oM6oSS+e1zLLTzTrYcfxWwzj95ZPNchA5oPGARKlwcMTKyUU1EAPFlFqQ?= =?us-ascii?q?pJXjMjiI2esDr3KV4PB8VeKzlWEnsQdxryCvy8oilIXEmIYYx07L+yt53Ys7Jd?= =?us-ascii?q?K2RUBmbNK6H5VduS6UOol4T84gQ2xkpDo2xLIFtJKlfiUHypcqyR7BZ/GDdYWD?= =?us-ascii?q?/xztVOGUIThihXJlfqqyhxGu/ke6z+38UtG00ExNriZfjtbMsXUN2hrO4caEUv?= =?us-ascii?q?tw5lqt1DiL2gzJ9+1JJVo4mKnaJpI737I9loIfvVnfEiLygkn6kbGae0U+9uS1?= =?us-ascii?q?9+jqYa/qq56dOoJylwrwKL4hmtalDuQ9KgUOX3aU+eC71LD7/035Xa1Kjvwqkq?= =?us-ascii?q?bHqpDWP8Ebpra4AwNM0YYj7w2/ACy83NQdhXkHI0hJdw+ZgITxOlHOJu73Deun?= =?us-ascii?q?jlixnjpmw+rKMqDlD5nXLXXOka3tcat95kJEzQo819Ff55ZaCrEbJ/LzX1f8tM?= =?us-ascii?q?bfDh8iKAy72PjoCM9y1o4FXGKPGq6ZPLrJsV6G/eIjOe6MZJUauDrlMfgq++bu?= =?us-ascii?q?jWMlmV8aZaSmwYEYaHW8Hvh/J0WZYGHsgssaHGcRvgs+SfTqh0eYXT5SYXayRa?= =?us-ascii?q?M86SshBIKoF4eQDryq1bmcxia2GttNZmlAEV2NH37uX4KPUvIIcDiVZMRml28q?= =?us-ascii?q?T7+kHqYn2QujvRSy8b18NeDZ4CJQ4Yjkz8N/6vfcvRQq9HlvEN/b1HuCGTIn1l?= =?us-ascii?q?gUTiM7ifgs6Xd2zU2OhPAh365oUOdL7vYMaT8UcIbGxrUhWdXqW0faYczPT0yp?= =?us-ascii?q?EI3/XGMBC+kpytpLWH5TXtWviheZgnioHqcUi7GRQpks8+ff22P7YcNlxDDK2f?= =?us-ascii?q?t51gh0co50LWSjw5VH2U3WDo/NnV+ekv/xJ6EE3WvW63zFynCB7hhV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BXAAC7xGxflw9WE4tfHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQGCD4MaLCsxLIQ8kUOcIQsBAwEIBSUHAQIEAQGESwKCLgIcBwEENBM?= =?us-ascii?q?CEAEBBQEBAQIBAwMEARMBAQEBAQgWBoVfByYMgjcigxkBAQEBAgEjHQEBNwEEC?= =?us-ascii?q?wsEARMcDgICAlUZgyYBglwRDwQLtjF2gTKDAQEBBYEzAYEXhQUHAwaBOIFTi1s?= =?us-ascii?q?bggCBOByCHy4+glwBgi2CSjOCLbc7gnGDE4E1li9QkUIGjnWvK4QEgWuBZwwHT?= =?us-ascii?q?TAIOyoBgj4+EhkNhFSJSxqDV4UUhURAMjcCBgEJAQEDCU8KAQGPGwEB?= X-IPAS-Result: =?us-ascii?q?A0BXAAC7xGxflw9WE4tfHAEBAQEBAQcBARIBAQQEAQGCD4M?= =?us-ascii?q?aLCsxLIQ8kUOcIQsBAwEIBSUHAQIEAQGESwKCLgIcBwEENBMCEAEBBQEBAQIBA?= =?us-ascii?q?wMEARMBAQEBAQgWBoVfByYMgjcigxkBAQEBAgEjHQEBNwEECwsEARMcDgICAlU?= =?us-ascii?q?ZgyYBglwRDwQLtjF2gTKDAQEBBYEzAYEXhQUHAwaBOIFTi1sbggCBOByCHy4+g?= =?us-ascii?q?lwBgi2CSjOCLbc7gnGDE4E1li9QkUIGjnWvK4QEgWuBZwwHTTAIOyoBgj4+Ehk?= =?us-ascii?q?NhFSJSxqDV4UUhURAMjcCBgEJAQEDCU8KAQGPGwEB?= X-IronPort-AV: E=Sophos;i="5.77,298,1596492000"; d="p7s'?scan'208,217";a="469425034" X-MGA-submission: =?us-ascii?q?MDGkpirtZSDtb5Iu8srtoqiDRpHs2O9ztkUZkQ?= =?us-ascii?q?+bAklLM/lkEDHpUkqTfou2+ai5JhlOR1JyAsLZgpLZyp6Jc40lhcDAtK?= =?us-ascii?q?wBEjGSl+c3zD9A4RcTMxrxkuPymIA4S9UGQ9Itlof2XSN8ybABLluuMm?= =?us-ascii?q?zbzojJHSKmTrwCX0OcH+KMPA=3D=3D?= Received: from jupiter.mpi-klsb.mpg.de ([139.19.86.15]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Sep 2020 18:12:21 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=mpi-sws.org ; s=mail201904; h=To:References:Message-Id:Cc:Date:In-Reply-To:From:Subject: Mime-Version:Content-Type:sender:reply-to:content-transfer-encoding: content-id:content-description:resent-date:resent-from:resent-sender: resent-to:resent-cc:resent-message-id:list-id:list-help:list-unsubscribe: list-subscribe:list-post:list-owner:list-archive; bh=0m7HhpruhGEFxOcpo48Gg6Dax6kE85H0YdNh/AbqCuE=; b=NWonTb+rKgxum1j76w3sjFB77N DgAAt8xmbloSyQS6zB6xYQ9vCIMxOp0+kqeuEpVxkqvVQKRP9hDVcLJJzfCbVLTVIpVwDOIkuaNme jplh6TEfHNMmym2PDCIsOhMpJ6D1MMDApScOb5LRpN8ZjI+k9HkHt15h1KREvJmplvx8=; Received: from max.mpi-klsb.mpg.de ([139.19.86.27]:37146) by jupiter.mpi-klsb.mpg.de (envelope-from ) with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) id 1kLTqx-0002FP-Uy; Thu, 24 Sep 2020 18:12:20 +0200 Received: from [109.125.108.66] (port=57269 helo=macbookpro2018.fritz.box) by max.mpi-klsb.mpg.de (envelope-from ) with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) id 1kLTqx-0004Lg-Ms; Thu, 24 Sep 2020 18:12:15 +0200 Content-Type: multipart/signed; boundary="Apple-Mail=_3A387313-F1D5-468C-B97C-2A60895EE462"; protocol="application/pkcs7-signature"; micalg=sha-256 Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.1\)) From: Andreas Rossberg In-Reply-To: <8042e24e-06a7-4089-2118-03bdd7c7c3c4@ocamlpro.com> Date: Thu, 24 Sep 2020 18:12:14 +0200 Cc: caml-list@inria.fr Message-Id: <7B8CBC0D-F3D3-43EF-ACC4-941ECD7D4EA8@mpi-sws.org> References: <8042e24e-06a7-4089-2118-03bdd7c7c3c4@ocamlpro.com> To: muriel.shanseifan@ocamlpro.com X-Mailer: Apple Mail (2.3608.120.23.2.1) X-RSPAMD-Score: -1.9 (-) X-RSPAMD-Report: Action: no action Symbol: RCVD_VIA_SMTP_AUTH(0.00) Symbol: ARC_NA(0.00) Symbol: MID_RHS_MATCH_FROM(0.00) Symbol: FROM_HAS_DN(0.00) Symbol: SIGNED_SMIME(-2.00) Symbol: MV_CASE(0.50) Symbol: TO_MATCH_ENVRCPT_ALL(0.00) Symbol: MIME_GOOD(-0.20) Symbol: TO_DN_NONE(0.00) Symbol: DMARC_NA(0.00) Symbol: HAS_ATTACHMENT(0.00) Symbol: R_SPF_ALLOW(-0.20) Symbol: RCPT_COUNT_TWO(0.00) Symbol: FROM_EQ_ENVFROM(0.00) Symbol: R_DKIM_NA(0.00) Symbol: MIME_TRACE(0.00) Symbol: ASN(0.00) Symbol: RCVD_COUNT_TWO(0.00) Symbol: RCVD_TLS_ALL(0.00) Symbol: RECEIVED_SPAMHAUS_PBL(0.00) Message-ID: 7B8CBC0D-F3D3-43EF-ACC4-941ECD7D4EA8@mpi-sws.org Subject: Re: [Caml-list] About Packs using Functors and Recursivity Reply-To: Andreas Rossberg X-Loop: caml-list@inria.fr X-Sequence: 18249 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --Apple-Mail=_3A387313-F1D5-468C-B97C-2A60895EE462 Content-Type: multipart/alternative; boundary="Apple-Mail=_0EA51784-4E59-449D-B812-777E96715CCC" --Apple-Mail=_0EA51784-4E59-449D-B812-777E96715CCC Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 > On 24. Sep 2020, at 15:02, Muriel SHAN SEI FAN = wrote: >=20 > Hi, > We are pleased to share a new blogpost about functor units and functor = packs. >=20 > The first part shows our work to generate functor units and functor = packs:=20 > Rehabilitating Packs using Functors and Recursivity, part 1. 1 = Very nice, I=E2=80=99ve been hoping for something like this! Will it = also support multiple functor parameters? Cheers, /Andreas --Apple-Mail=_0EA51784-4E59-449D-B812-777E96715CCC Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
On = 24. Sep 2020, at 15:02, Muriel SHAN SEI FAN <muriel.shanseifan@ocamlpro.com> wrote:

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

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

Cheers,
/Andreas

= --Apple-Mail=_0EA51784-4E59-449D-B812-777E96715CCC-- --Apple-Mail=_3A387313-F1D5-468C-B97C-2A60895EE462 Content-Disposition: attachment; filename=smime.p7s Content-Type: application/pkcs7-signature; name=smime.p7s Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExDzANBglghkgBZQMEAgEFADCABgkqhkiG9w0BBwEAAKCCA1Iw ggNOMIICNqADAgECAgEBMA0GCSqGSIb3DQEBCwUAMEQxEDAOBgNVBAMMB0FuZHJlYXMxCzAJBgNV BAYTAkRFMSMwIQYJKoZIhvcNAQkBFhRyb3NzYmVyZ0BtcGktc3dzLm9yZzAeFw0yMDAyMjQxNjQx MzVaFw0yMTAyMjMxNjQxMzVaMEQxEDAOBgNVBAMMB0FuZHJlYXMxCzAJBgNVBAYTAkRFMSMwIQYJ KoZIhvcNAQkBFhRyb3NzYmVyZ0BtcGktc3dzLm9yZzCCASIwDQYJKoZIhvcNAQEBBQADggEPADCC AQoCggEBAN7TxlLVlda1Mwf2YrwRPrw58M7cID7lZA5zQurLNjl+yhhuq5iGOXREHCC2iX5CT5Fo eyRM00gRGpDzzYZuY1abeTh+qxFplDWCgmaw/drsEZr0/LWhvWGjaUKU71R3At265FTKA5vGHgxR 1VKqG8R/cbFylW99RCfX0nAhzi0zpWQFJNeGRNHNSyV0NdFN5R1DWuTgriFkgazHDKTpjed9BdMv CwWaVyV4cqU9WUyXzSfiaq+J881/nlYT6TRXldtWk4bP699heyQIyxO96LRqLjUlFLkDJCQhjZhm C9Ey33Ndcf6XCdbw7ktZT+oTG63BJ+HNG7F4DBOHcD3gCbsCAwEAAaNLMEkwDgYDVR0PAQH/BAQD AgWgMBYGA1UdJQEB/wQMMAoGCCsGAQUFBwMEMB8GA1UdEQQYMBaBFHJvc3NiZXJnQG1waS1zd3Mu b3JnMA0GCSqGSIb3DQEBCwUAA4IBAQC6ZluzWIhhZwzSO7WYu5qskK2tvCm/QHDMlFX8OYDox9IG T4tdk/LSRAVHPl0jDJ6rm9Mkt1vS8mJGk/Vqnwkr0QLu6VxuOw3iUszGeAajNa6MEQmDX1JBggaX y9w/FYstD8wn6Hrpa2lMQAztwu6P6TEac0zP7a+YO4c0tDa7eTUsQgnZYyvpWCqWtZGo99YP/q/t x7rXjerFbO9EGJeXiGBL9lGG9vmhNNxUgm/xqwuYb5QEw7cFHhzr+EjpQTqNjQ89qr0xiEfwYE/n anpCM1GFhshGVSE36feOggKLguYgZndEKbv8jVvzOrcrPviq5aabatVb3HIfrV1+/oE7MYIClzCC ApMCAQEwSTBEMRAwDgYDVQQDDAdBbmRyZWFzMQswCQYDVQQGEwJERTEjMCEGCSqGSIb3DQEJARYU cm9zc2JlcmdAbXBpLXN3cy5vcmcCAQEwDQYJYIZIAWUDBAIBBQCgggEfMBgGCSqGSIb3DQEJAzEL BgkqhkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTIwMDkyNDE2MTIxNFowLwYJKoZIhvcNAQkEMSIE IG6Ouh3n/vwwpj5LcTQy/B3XE9ivS0zfocgH7NbGSj9fMFgGCSsGAQQBgjcQBDFLMEkwRDEQMA4G A1UEAwwHQW5kcmVhczELMAkGA1UEBhMCREUxIzAhBgkqhkiG9w0BCQEWFHJvc3NiZXJnQG1waS1z d3Mub3JnAgEBMFoGCyqGSIb3DQEJEAILMUugSTBEMRAwDgYDVQQDDAdBbmRyZWFzMQswCQYDVQQG EwJERTEjMCEGCSqGSIb3DQEJARYUcm9zc2JlcmdAbXBpLXN3cy5vcmcCAQEwDQYJKoZIhvcNAQEB BQAEggEAt05wwWbN7kSz/6e9+7X1tOF8R4ZPf553kq0c7hUdhlO79srC/Q9TXWkNF9LGcpNrTr8V N4hmojUHVNMSFjrh2gxzvr5I+XhcSNcW9vy/mKlSkjlpP8GzMQUvodeO7mekNAzWuZFYyzoh0Xu4 wtMJM2ikebi4rMTa24tMXfsxiJE/Eso+Jo3CngcCyhbRDsH1aJ2JEmfc7xfxIwzc0u1HBe97mx4w S/lcyUTLKR0oBHj76XnnlY67NTrf90QVBIcKHpJfv0NHQHd1WOiWKn9GPaEWdxzuAwoBsxuv3zKd 2rmI46yW71mAlVTntK15WXxwIQzG2LQFiakRdeNGFY3duwAAAAAAAA== --Apple-Mail=_3A387313-F1D5-468C-B97C-2A60895EE462--