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 54A4B5D5 for ; Fri, 25 Sep 2020 08:31:42 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.77,301,1596492000"; d="scan'208";a="469507451" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Sep 2020 10:31:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 97D7FE0B5B; Fri, 25 Sep 2020 10:31:02 +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 56DE0E00E5 for ; Fri, 25 Sep 2020 10:31:00 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierrick.couderc@ocamlpro.com; spf=Pass smtp.mailfrom=pierrick.couderc@ocamlpro.com; spf=None smtp.helo=postmaster@aibo.runbox.com IronPort-PHdr: =?us-ascii?q?9a23=3Avfcd8hHhUQqBfgv4IQWULJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ76p829bnLW6fgltlLVR4KTs6sC17OJ9fq4EjRbqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5wIRmsswndqsYajZdsJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlT?= =?us-ascii?q?wKPCAl/m7JlsNwjbpboBO/qBx5347Ue5yeOP5ncq/AYd8WWW9NU8BWWCJZBYOy?= =?us-ascii?q?bIUBBPcFMepFs4Xxol0Dpga8CwaxHuPi0j9GiGHr06M01OosCh3G3BU8E94Sqn?= =?us-ascii?q?nYsNf4OaEPWu611qnIyjDDYutY1Tnn6YjHbAohoeuNXb1scsra1FciFwTYjlqN?= =?us-ascii?q?t4PlJS+a2uoQuGWc9+pgVPygi3Q9qwFwvjevxd0ghZXOhoII11/L6z95z5ouKN?= =?us-ascii?q?2/VEF0e9ukEJ9ItyGAMIt6WN8tQ2ZtuCsjzLANpJG0cjQQxps92x7fd+KIc5KO?= =?us-ascii?q?4h/7VOudPSl1in1rdb++gxu/8Eatx/HhWsWq0ltEoDZJnNbIu30O1xHe5MaJR/?= =?us-ascii?q?t580q92DuCyx7f5OFLL00plaTWK5gsyaM+mJoUtETMBC72mEPuga+Rakor4O2o?= =?us-ascii?q?6+D/YrX8oZ+QLZN7igb7Mqkoh8exAvw4PxAKUmSG4+iwyqPv8VHjTLlXivA7k7?= =?us-ascii?q?PVvI7HKcgGoKOyHhVb3Zw56xmlCjeryNQYkmcDLFJCYB+IlYnpNErJIPziF/e/?= =?us-ascii?q?nlKsnyxsx/HJJLHuHpLNLn3bnLfge7Zy9VJcxRI3wNxC/Z5YFK8NLO7pVkPssN?= =?us-ascii?q?HVDwU1PxKpz+r6ENl905kRWWOLAq+XKqPStlqI6/o3I+mNeoAVoiz9K/k56P7t?= =?us-ascii?q?l3M2hVgdfbS00pQJcnC3Au9rI0KFbnX2h9cBFX8KvhA5TODwlFKCVjtTa26oX6?= =?us-ascii?q?0g/jE7FJ6mDYDbS4+xmrOB2SO7EoRSZmBHEVCMDWzld56EWvcJcCKdONVtkj0C?= =?us-ascii?q?Vbi7So8uzwuitAHgy+kvEu2BsAQeuYju3cM93erIjhs/7zM+R5CH1HqWRWxukU?= =?us-ascii?q?sNXz5zx79k50tnxQHHmeJ9nuZZGNgV/PNAVBw3NJDVyaYyX9XvQAPMepGSSF+g?= =?us-ascii?q?WdinDzg3ZtU6ytoKe1x6Xd6li0aQ8TCtBupfr72GHoY1+aGU9H/sK8tnwDyOgL?= =?us-ascii?q?EggkM8Q8BMc2ahm6Jy7QP7AIXAlkGBjaHsfqMZin2evFyfxHaD6RkLGDV7Vr/I?= =?us-ascii?q?CDVOPhKH/+S83VvLSvqVMZpiNwJAzcCYLa4TNo/uhlxDQO/5P5LVZGfjwj7tVy?= =?us-ascii?q?bN/auFac/RQ0tY3CjZDxFbwQkS93HALxU4DCCx5WnZCW42TA69UwbX6eB77UiD?= =?us-ascii?q?YAos1QjTMx9m3LOw/gYPgrqXTPZBhr8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CVAQAMqm1fh9PE3FtfHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQFAgU+DGlUBMiyEPJFCEZwQCwEDAQ0lBwECBAEBhEuCMAIcBwEENBM?= =?us-ascii?q?CEAEBBQEBAQIBAwMEARMBAQEIDQkIKYU2ByYMgjcpgxQoOxsbGAICJgISLAsWA?= =?us-ascii?q?Q0FgyYBgwALt1CBIhCEOwGGDwaBDiqGW4ZTD4FNP4NzLj6CXAGBYIMXgmAEkzW?= =?us-ascii?q?jXioHA4JngRICCZlTCVGRSo51kwigASyBa4FnDAdwUIJpUBkNhFSJZYNXilg/A?= =?us-ascii?q?zA3AgYBCQEBAwlZAQGOXQEB?= X-IPAS-Result: =?us-ascii?q?A0CVAQAMqm1fh9PE3FtfHAEBAQEBAQcBARIBAQQEAQFAgU+?= =?us-ascii?q?DGlUBMiyEPJFCEZwQCwEDAQ0lBwECBAEBhEuCMAIcBwEENBMCEAEBBQEBAQIBA?= =?us-ascii?q?wMEARMBAQEIDQkIKYU2ByYMgjcpgxQoOxsbGAICJgISLAsWAQ0FgyYBgwALt1C?= =?us-ascii?q?BIhCEOwGGDwaBDiqGW4ZTD4FNP4NzLj6CXAGBYIMXgmAEkzWjXioHA4JngRICC?= =?us-ascii?q?ZlTCVGRSo51kwigASyBa4FnDAdwUIJpUBkNhFSJZYNXilg/AzA3AgYBCQEBAwl?= =?us-ascii?q?ZAQGOXQEB?= X-IronPort-AV: E=Sophos;i="5.77,301,1596492000"; d="scan'208";a="469507389" X-MGA-submission: =?us-ascii?q?MDFNFDUv/RAP3g3kFBvIkU+E5JWeh5x6jv0I1s?= =?us-ascii?q?f4Xv/yhaXfA5jmz90JllftpMXrbhkYQ084YJOGVRQ5kEPabRoL7quiA7?= =?us-ascii?q?LVF914xNbIKZRvsFhUUsc9Apk5uidEMdeZN5T063V/+3KzhWVlym/AoZ?= =?us-ascii?q?KvxoBTiAS6l9n6hf6IJZU3tQ=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; 25 Sep 2020 10:30:11 +0200 Received: from [10.9.9.127] (helo=rmmprod05.runbox) by mailtransmit02.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1kLj7J-00042l-Se; Fri, 25 Sep 2020 10:30:10 +0200 Received: from mail by rmmprod05.runbox with local (Exim 4.86_2) (envelope-from ) id 1kLj7J-0007tB-RI; Fri, 25 Sep 2020 10:30:09 +0200 Content-Type: text/plain; charset="utf-8" Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Received: from [Authenticated alias (981942)] by runbox.com with http (RMM6); Fri, 25 Sep 2020 08:30:09 GMT From: "Pierrick Couderc" To: "Andreas Rossberg" , "muriel.shanseifan" CC: "caml-list" Date: Fri, 25 Sep 2020 10:30:09 +0200 (CEST) X-RMM-Aliasid: 981942 X-Mailer: RMM6 Message-Id: Subject: Re: [Caml-list] About Packs using Functors and Recursivity Reply-To: "Pierrick Couderc" X-Loop: caml-list@inria.fr X-Sequence: 18250 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: Hi Andreas, Thank you for your feedback! Actually yes, it supports multiple parameters by simply giving multiple `-p= arameter ` options to the compiler. Cheers, Pierrick 2020-09-24 18:12 GMT+02:00 "Andreas Rossberg" : >> 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 p= acks. >>=20 >> The first part shows our work to generate functor units and functor pack= s:=20 >> Rehabilitating Packs using Functors and Recursivity, part 1. 1 >=20 > Very nice, I=E2=80=99ve been hoping for something like this! Will it also= support multiple functor parameters? >=20 > Cheers, > /Andreas >=20 >=