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 9459D5D5 for ; Thu, 24 Sep 2020 13:02:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.77,297,1596492000"; d="scan'208,217";a="469377728" 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 15:02:52 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id A449DE0B51; Thu, 24 Sep 2020 15:02:52 +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 C11A6E00E5 for ; Thu, 24 Sep 2020 15:02:47 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=muriel.shanseifan@ocamlpro.com; spf=Pass smtp.mailfrom=muriel.shanseifan@ocamlpro.com; spf=None smtp.helo=postmaster@aibo.runbox.com IronPort-PHdr: =?us-ascii?q?9a23=3As+L6Fx8kido2y/9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?1OscTK2v8tzYMVDF4r011RmVBNqdsqIP1rSe8/i5HzBZv9DZ6DFKWacPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sAfcutMLjYZhJao8yhrEqWZMd+?= =?us-ascii?q?hK2G9kP12ekwv968uq4JJv7yFcsO89+sBdVqn3Y742RqFCAjQ8NGA16szrtR3d?= =?us-ascii?q?QgaK+3ARTGYYnAdWDgbc9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9KhkVhnlgz?= =?us-ascii?q?oaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjeK7WYNEUSndbXstJTSxPHIOy?= =?us-ascii?q?YZYID+QCM+hXoYbyqEcVoBSkGQWhHvnixiNGi3L026AxzuQvERvB3AwlB98At2?= =?us-ascii?q?nUrM/0NKgMVeC+0bTGwzffYv1OxDzz9YfGfBM8qv+MQb9+adfaxE4qFwPYlFWQ?= =?us-ascii?q?qJLqPzeP2uQWs2iU9exgVfmxhG4mpQF+uD6vy9wriobVnI0Vz1TE9T1jwIYyP9?= =?us-ascii?q?G3VEl7Ydu9HZZWqiqVOJd4TNk4TGF0pCY11KcGuZijcSUI1pkpyB7SZvOIfoWG?= =?us-ascii?q?4hzvSOifLDh7iXxrdryyhgq//EqvxOD8VMS4zEpGoCRGn9TIqHwD2AHe5MabR/?= =?us-ascii?q?Z88Uqs3yuE2Q7U6uFBO080lKzbJoYmwrEsjJUTtEDDHjfsmEXxlqOZakIk+u2u?= =?us-ascii?q?5u/6YbvmvoeROotphg3kLKgihNCzDf4lPgUKXmWX4/qw2KD+8UD/Xb5ElOc5kr?= =?us-ascii?q?PDv5DfPckbprC2AwtS0os78Rm/Diyp0NMCkXkdMVJFfgmIj4/mOl3UPP/4CvK/?= =?us-ascii?q?j0ytkDdt2f/GIqXsD5HQInTZjrvtY6px51RBxAc3zN1T/YxYBqwcLP7rX0/+rt?= =?us-ascii?q?3YDhs3MwyuxObnDc1w1oYDWWKVA6+WLqfSvUWT5uIvOeaMYpQVtyj8K/gr/fHu?= =?us-ascii?q?i2Q0mVgBcqaz2JsXbGi4Hu5hI0mDfXXshdIBHX8QvgUiVOzqlEGCUTlLanmuRa?= =?us-ascii?q?084zU7BJuiDYfCXYCtnKeM3Dy7H51TfmBJEEqAEXbud4WeWvcDcjieIsF7km9M?= =?us-ascii?q?ab/0QIYk0VSqtRTm47thNOvdvCMC5qjuzNxk2+qGkAwo9DFwSd+d2meWQmB6l2?= =?us-ascii?q?UgQDQ/2aRnu0s7wVCGgoZihPkNMMFJ5v5NGjwaHLiU9MFbQ/7bfEqVe8qTSVui?= =?us-ascii?q?BM6mCDcqQ9M/ytkmZE10HtG6lBeF1C2vVexG34eXDYA5p/qPl0P6INxwni6fhf?= =?us-ascii?q?sRymI+S84KDlWIw6t29gzdHYnMyhnLkK2jcKAEximL/2CGnzPX4BNoFTVoWKCA?= =?us-ascii?q?ZkgxI1PMpI2ltETJRrqqEa4gdABGzJzac/YYWpjSlVxDAczbFpHebma2wjjiDB?= =?us-ascii?q?eCwfWWcYzgfHVb1yLYWhAJ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CUDgD9l2xfh9PE3FtgHgEBCxIMghGDG?= =?us-ascii?q?FUBMiyEPJEVCDeDaZYrgXwLAQMBDSUHAQIEAQGGeQIcBwEENgQNAhABAQUBAQE?= =?us-ascii?q?CAQMDBAETAQEBCA0JCCmFNgcmDII3IoNDdT4CbAgBAYMiAYMAC65ph0+BMoQ7A?= =?us-ascii?q?YEFg2+BPAaBOY0tghuBOAyCL4NIAYItgkqCYAS3NwcjgkeIe5FOBQofUJFIjnU?= =?us-ascii?q?6skksgW4MgVgMB3CCHYEcUBkNhFSJZYNXilg/AzA3AgYKAQEDCVkBAY8/AQE?= X-IPAS-Result: =?us-ascii?q?A0CUDgD9l2xfh9PE3FtgHgEBCxIMghGDGFUBMiyEPJEVCDe?= =?us-ascii?q?DaZYrgXwLAQMBDSUHAQIEAQGGeQIcBwEENgQNAhABAQUBAQECAQMDBAETAQEBC?= =?us-ascii?q?A0JCCmFNgcmDII3IoNDdT4CbAgBAYMiAYMAC65ph0+BMoQ7AYEFg2+BPAaBOY0?= =?us-ascii?q?tghuBOAyCL4NIAYItgkqCYAS3NwcjgkeIe5FOBQofUJFIjnU6skksgW4MgVgMB?= =?us-ascii?q?3CCHYEcUBkNhFSJZYNXilg/AzA3AgYKAQEDCVkBAY8/AQE?= X-IronPort-AV: E=Sophos;i="5.77,297,1596492000"; d="scan'208,217";a="469377698" X-MGA-submission: =?us-ascii?q?MDE14PFL3GdXPnrkXmfOTGUKrd2VMtA6DywiEw?= =?us-ascii?q?ksILdLVF+6y8lUxOqdHEJszPXONfAdP3OIqlVNWP4tdrHFTEwQcs/uYM?= =?us-ascii?q?ljONGzB7v9xoZm0fBPATBdtmQFm6ejyt8zNQPsEkpm+5Nmxecyp0aTaf?= =?us-ascii?q?jiSfIN/yjPkut1DYMwGneYqg=3D=3D?= Received: from aibo.runbox.com ([91.220.196.211]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Sep 2020 15:02:46 +0200 Received: from [10.9.9.74] (helo=submission03.runbox) by mailtransmit02.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1kLQtZ-0001eX-2Y for caml-list@inria.fr; Thu, 24 Sep 2020 15:02:45 +0200 Received: by submission03.runbox with esmtpsa [Authenticated alias (981940)] (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) id 1kLQtO-0006el-2z; Thu, 24 Sep 2020 15:02:34 +0200 Reply-To: muriel.shanseifan@ocamlpro.com To: caml-list@inria.fr From: Muriel SHAN SEI FAN Autocrypt: addr=muriel.shanseifan@ocamlpro.com; keydata= mQINBFpUlWEBEADlNE6uXQCkw9u528Oy+7jgLG+KEGXzBYEayW4qlXH07NvutiM3AHHW1AUV qgFs3ydJxypNfqy9kLP7O7KXjQfP/2m1sBW+saXcjvYNzcKG4T1XenVedF+aQtlYgpBrEaCA A3HpW2QXIMSL67c4b1GeIxhlJgxgW4DOFCSZiKICiFhB3gk3Zp1xp5gkShKypFF5affsCWGI iGvrcHZA1aJuNKh/ctwLYsChOr6cf+NEz33gjwExDRlch4B/gR2JE8VjUQHjVDy2//gV5nBR hF3ac1yt2HuRle5i7Y1icxjU7KvZxQjIiwo20rVSp3DnhTNxRPogYF/oF9VNLVMtaOVm9Y04 SK1GLtrVeopbxKgGnkJdkmw8/61ZR4XnYN7TUZvWsBewLNpu/Nz30+nu4o3uLedpx/Mh4wPG WIVa4IaxC/W/MtEHd+VsfbmwIxcB48i7dNCMJMhaQvAUY5y9OxgaGOdrHDhuuPrUgMU+dhhF miqj+FdbY6hw2WQpGMDbKRQfLF96YUSPT6rmTRlyLUIx2gFreqWF0pJRwBN7YOJaP6ZfQUak PD09GyE1IodPf9oXlt5JQjwjk6hcKfz2zUqIId+qSzczBzInLoPX5e8sLgXK/+qR4xTh9f9D cz+Rm9VWQMbWVSUf+2ENhr06gWQ4XJi6mUJN0TIo/vBzneNc6QARAQABtDRNdXJpZWwgU0hB TiBTRUkgRkFOIDxtdXJpZWwuc2hhbnNlaWZhbkBvY2FtbHByby5jb20+iQI9BBMBCAAnBQJa VJVhAhsjBQkJZgGABQsJCAcCBhUICQoLAgQWAgMBAh4BAheAAAoJEBxtSv6ZcqHvYTwP/0UX FNA3cYV2Z1qZdHujxIswYf0k9wnrTC8xbSWCLevMY1rlqz031rA60SJqCGmg7c9RJ4/1TatA xmUcGYZ1Aag+n4AFUy0J0vMLCS23OFlsH8dJdxUj8yqV/OGy7yeFa9/l0LogJ9yEU02NFte7 u2tvJ+/QAJij69LE0IWDr1L6tQuDhHXbR+8XwwaKsokyYCAn/W9EMi2zpvDrpd5vn90/dpiE arJRl5nqP31BVh2WkiT+u+RWGfNPgj5pIsXCYd7K+OxdAcbcfIhaoPCHVGQLZNCKSPEwWZOB B+kuV02bbGT2Y5FXVlz1+5jLVEKw5Bcz2c7HF0AkxN3Mdri4H8kDFEViTGthDlwVL95KNAgN pJ5RGhRMnksbGKMBYBbkj9rXTAcDUg6Bw1Aa72RBZu5GesrSqFtJQoxM6ofTgmP6KaepOWYp dCq84oKcrkmPzqVjS5hUFGVwhcD5r/DvZJp9iyMAmTUD6vuLhpgFMrApn5im5gyuohuuug/t PwVfM1h9eXlHNfwV/LpUQZlNrMVRcEGprguoTY1R8QdAIVOnqS096UDX6PoegS3pwpAJGzrT htzTgTqElojb5vKRmiFapmo9sLCyDUvDfWRSaEFos9GPQqnnF+BwxctyTi4gv7TC18WjFQKR PMS02XZc0EdB055lZgEDjAH4LDOJ82g5uQINBFpUlWEBEAC0YREMOy6N7WyaTLwvOKOSX617 lRBPd9N7Gb2079vdy/mDBHn2x+PFkYUOJnQZ95jsA74z99I/6CvkKrAkl5ZbFsST3uyQnJiy sKMpbtpJzrx2mw3U9IEwxUsOSLnWo6evMQ/kdpC8A1uu8+2cC18G+klXZTos05LXTnXQbVAT 5zVqaHKmMHPXpG6T+aiVhNw/Mbe46CsMrGCxS9iZWdLHCXeGJED073sjVg6DsOnakhoWEuCE HiOlcJ9cBFCELpqlfE62sX+U4qfdEj5LSuAqOlc7hIafchFNnhbvhfbcaleWLrToUh0SCuVH xH95RzyxzYSZP4+n8EpGSTHIC2/edKkzvTIlKbeeYjAk/n3ov7dhG8P9rwU1LRyvzYB7ld0Z ec17m5H6/WwoiUY3oE5N4C91JaCZr3vGKo3jJVb+JE60CqEpFtVdvKi+j1ExN6UdNs42tGWe rW4nLzT0ToTlHbcKTQsS3Ro98KfcNnAxP6wnAeXkciq/JWE8pvzUBh/l31werQLXnnuvZrie rOTBTDayxmD64uAP/wMjB0CzYzLc7PTqJscba9jlvrb/zBYyO95vc2tVN8l8hE2nSaDTW3RG GHIrV8D5ch3FrLEu2zYf17EzYoM5dqGtf3r830ZPnunOcHYUD0ruyDcjymMmjylbCrTNhuPR u4uhnZjYAQARAQABiQIlBBgBCAAPBQJaVJVhAhsMBQkJZgGAAAoJEBxtSv6ZcqHvP1EP/RlH /Q5Ms2uaidKPtsT5oEdaT79bkrjBrPCAtFfgTOfs5fzliNb7vcFya+Hth1gYfWmuKcUnNcvX nr9sFN+m0Rca7NJQF8HEm/N4yiMPWoFeCO72kAbkYzdBLNoWnWDj8XZ07FKccvsq5MxQeyDW fspBx971aXRMYDQ7/AbIlSxUxd1p5OA2v7ijLmEJXPt+W6t4yGpfbbawIN87oJEgatsVWc+v bXeeFgYnFvbflvqyM0HE/GjlXX/RrgnR+29tozE6FO4TlvaLk2uOeTLCQf2qR5X50U4aWwLp fuU6RxMmMrGrBybenkZCu2NB37bf45J7UElc5ngf3KONd5yxY/flcEoLOMnAITLuFjzd1/9i 2uNtkT6XrNZjhNve1Vq4IvQ1j72Zv1WWSKY9fqGVt7ZgN9ARbCMUQgAsTgsoaYmXNYizWBjn VBl7sE3NK2XNbCh1nmEkuQiJsiAGMmKvO/lz5OnJ65LAQ3Swbh7iWnItQF0mx4Mxkbl66mtI 3R2zv8Jbl0sW9VFWSZeNBsDLqeUtFXKFx2vxwf+nIAzifrOtmQo5efiesfEiTiXzdljEOKsI 0+8ruH0c1Kb74nQYncf5ml/nD6MlHFQqtdAitr28CGrM5/aVeU7v2i+HjkcoPLQ5v4w3f3lk V2J5kGphZtLpTjhytQZGCjaC4lypa4NC Organization: OCamlPro SAS Message-ID: <8042e24e-06a7-4089-2118-03bdd7c7c3c4@ocamlpro.com> Date: Thu, 24 Sep 2020 15:02:33 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.12.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------5B9E8F3DEED666EC6D658FB2" Content-Language: fr-FR Subject: [Caml-list] About Packs using Functors and Recursivity X-Loop: caml-list@inria.fr X-Sequence: 18248 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: This is a multi-part message in MIME format. --------------5B9E8F3DEED666EC6D658FB2 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 /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 --------------5B9E8F3DEED666EC6D658FB2 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit 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
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

 --------------5B9E8F3DEED666EC6D658FB2--