From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 511DC5D5
	for <caml-list@inbox.ocaml.org>; Tue,  6 Oct 2020 07:22:55 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.77,342,1596492000"; 
   d="scan'208,217";a="471129632"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 06 Oct 2020 09:22:52 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id D103CE0B4B; Tue,  6 Oct 2020 09:22: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 A5682E00E5
	for <caml-list@sympa.inria.fr>; Tue,  6 Oct 2020 09:22:49 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Pass smtp.pra=alan.schmitt@polytechnique.org; spf=Pass smtp.mailfrom=SRS0=1E/0=DN=polytechnique.org=alan.schmitt@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org
IronPort-PHdr: =?us-ascii?q?9a23=3APC8KQxSQxX2C/vVGjzzuWQXo5tpsv+yvbD5Q0YIu?=
 =?us-ascii?q?jvd0So/mwa67ZhSFt8tkgFKBZ4jH8fUM07OQ7/m/HzBbqs/Y6jgrS99lb1c9k8?=
 =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?=
 =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrwjdrMYbjIVtJqos1xfFvGZDdv?=
 =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?=
 =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?=
 =?us-ascii?q?sLOjgk+23XicJwirxboBO6pxx+2IHUZJ+aP+dwf6PaZ9MVWHFBVdtVWyFPHo+w?=
 =?us-ascii?q?ao0CBPcDM+lFtYnwv1sAowWjCweiB+3gxSNHi2Ts0qEmyeksCx3K0BAiEt8IrX?=
 =?us-ascii?q?/arM/1NKAXUe2t0KTIyS/Mb/VL0jng9IfIchUhofCQXbJsbMHczlMgFwffgVWW?=
 =?us-ascii?q?s4DlJC+a1uQIs2ia8+pgSfmii3YgqwF1ojmv2tkjhZXJhoITy1DE7Dh5z5gvKd?=
 =?us-ascii?q?2/Uk57bsepHZ1NvC6VK4V4WNktQ310uCkk0L0Gv4a2cDQLxZk6xxPSb+GKfoyI?=
 =?us-ascii?q?7x/sVeucIyt0in1ldr+hhxu/71WtxvHiW8S30FhHoSVIn8fDu34DyRHe6cmKR/?=
 =?us-ascii?q?ph80qnxD2B2QfT6uReLkA1k6rWM4YhzaAslpoSrUTMADf2mELzjK+TaEoo4O6o?=
 =?us-ascii?q?5Pr7Yrn+oZ+TK5V7igT6Mqg0ncy/G+s4PhABX2ia5eS80Kfs8lbjTLpWif02l7?=
 =?us-ascii?q?HVsJfGKssBo665BxdV0pwk6xqlEzim19EYkWEILFJEZBKHj5XpNErULP/kCve/?=
 =?us-ascii?q?hkygkDZ2yPHGOr3hBo/BLn/ZkLfue7t29k1SyBIrwNxC+Z5ZDqsNLO/vVkL+rt?=
 =?us-ascii?q?DVAAM1Pxa6zuvoENlw1IATVXiRDqKWLq/eq0KE6+01L+WRa4IZpDDwIOU/6fH0?=
 =?us-ascii?q?l382g1odcLGp3ZQJbHC4GexrI0CWYHbxmNsBCWAKvg4+Tez2llKNTT5TZ3CzX6?=
 =?us-ascii?q?Il+zE0FpiqDYDZRoCimLCB3SG7EYNKZm1eF1yAD3Ple5+ZV/sQZy+eOMFsniAe?=
 =?us-ascii?q?WbWvRIItzRSuuxX7y7pjIOrU4CoYtZf72dZo++PdiA0++CRpA8qSyG2BU3l5kG?=
 =?us-ascii?q?0QSTIuxKB/pkh9y1ef0admn/NYFdpT5/JQUgcnK5HQ1et6C8r9Wg/ZZNiJTEyp?=
 =?us-ascii?q?QtO8DTEqUt0xw9oOY0dhG9W+lR3MxC2qA6ITl7OXGpM06bjQ333+Ksdy0XrG07?=
 =?us-ascii?q?Mhj1Y+TstVKWKmnrJ/9xTUB4PRj0qWjaOqdaAF0C7J9WeD1naOsVpDUA9wVKXF?=
 =?us-ascii?q?RWoQalHXrdT//EPCTqWhBa4pMgtbmoa+Lf4AbsLvxx0SQOjlENDBZSS3lnvmQV?=
 =?us-ascii?q?7CzayKJsKiL24C2g3ZCVMYiEYS8WeCMU45HCj35yrVBTlqUFbueF/E8O9kqXr9?=
 =?us-ascii?q?QFVwhwqNalVJ07uu5gVTguaWSu8a2rwDqGEstmZaBlG4ivvSAtzInAFheaRAfZ?=
 =?us-ascii?q?tp6VNO0yTCvAx4P4C8B7hlgk8Cfg93uUL3yhgxDZ9Px5t55Eg2xRZ/fPrLmGhK?=
 =?us-ascii?q?cCmViMuoY+GFGizJ5BmqLpXu9BTGyt/Pq/UX7/Apt1jovAeoD1cvtXJ93IsMii?=
 =?us-ascii?q?rO1tDxFAMXFKnJfAMy/hl+qavdZ3BitYnTyHtnPLLyt2PSndUzC7l8k0vyT5Jk?=
 =?us-ascii?q?KKqBUTTKPYgaCsypcrd4nkjwKAoDOPFO+aU0OcK/avbA37Skbr9t?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B3AAB+GnxflyIeaIFgHQEBAQEJARIBB?=
 =?us-ascii?q?QUBgg+BI4EYAV5WMiyEPYkCi0mFRZNaAQMBDRgBDAcBAgQBAYRjggoCHgYBBTM?=
 =?us-ascii?q?TAhABAQUBAQECAQMDBAETAQEBAQEIFgaGDAyCNwwZgx4BIQplIwMUBwMCBA0BF?=
 =?us-ascii?q?wEUChcBEhqDDAGCfAQBCowmm3uBMoQ7AYRcgUINAhOBFoVOS4MGg2wmD4FNP4N?=
 =?us-ascii?q?zbIJFDAsBAQEBAYEzBwEBgzeCYASQIpNxkxErB4JqgQ4EC4ZggQKLDYZ6hDeca?=
 =?us-ascii?q?iGSdIgAfoFwhgmKcYRXgUEqgWcMBzMaMIMsCWANjXYBhBmEWTuFRD8zAgEBMwI?=
 =?us-ascii?q?GAQkBAQMJdQEBBRMLAYpngkYBAQ?=
X-IPAS-Result: =?us-ascii?q?A0B3AAB+GnxflyIeaIFgHQEBAQEJARIBBQUBgg+BI4EYAV5?=
 =?us-ascii?q?WMiyEPYkCi0mFRZNaAQMBDRgBDAcBAgQBAYRjggoCHgYBBTMTAhABAQUBAQECA?=
 =?us-ascii?q?QMDBAETAQEBAQEIFgaGDAyCNwwZgx4BIQplIwMUBwMCBA0BFwEUChcBEhqDDAG?=
 =?us-ascii?q?CfAQBCowmm3uBMoQ7AYRcgUINAhOBFoVOS4MGg2wmD4FNP4NzbIJFDAsBAQEBA?=
 =?us-ascii?q?YEzBwEBgzeCYASQIpNxkxErB4JqgQ4EC4ZggQKLDYZ6hDecaiGSdIgAfoFwhgm?=
 =?us-ascii?q?KcYRXgUEqgWcMBzMaMIMsCWANjXYBhBmEWTuFRD8zAgEBMwIGAQkBAQMJdQEBB?=
 =?us-ascii?q?RMLAYpngkYBAQ?=
X-IronPort-AV: E=Sophos;i="5.77,342,1596492000"; 
   d="scan'208,217";a="471129598"
X-MGA-submission: =?us-ascii?q?MDESDWTXMz3gZRY3MsvRKJDFcJjK8FAmUX9auB?=
 =?us-ascii?q?RqKT50aguvEUC8fSUAPQhxhxd4lQlJd6dvtkrdXQxc7mOx/fK9daRojS?=
 =?us-ascii?q?PDA4IdlValc8rF62TaqPbfkPYZXCQmlOwyZvosMqs/GHlxxtKdndWm4E?=
 =?us-ascii?q?icdxEPY7jkjcZpWYB45hiSpw=3D=3D?=
Received: from mx1.polytechnique.org ([129.104.30.34])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Oct 2020 09:22:48 +0200
Received: from set (cbg35-2-78-242-14-140.fbx.proxad.net [78.242.14.140])
	(using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
	(No client certificate requested)
	by ssl.polytechnique.org (Postfix) with ESMTPSA id 66741564C45;
	Tue,  6 Oct 2020 09:22:47 +0200 (CEST)
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "lwn" <lwn@lwn.net>, "cwn"  <cwn@lists.idyll.org>, caml-list@inria.fr,
 comp@lists.orbitalfox.eu
Date: Tue, 06 Oct 2020 09:22:46 +0200
Message-ID: <87362rn7i1.fsf@m4x.org>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="=-=-="
X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Oct  6 09:22:47 2020 +0200 (CEST))
X-Spam-Flag: No, tests=bogofilter, spamicity=0.005117, queueID=D72B8564C4A
X-Org-Mail: alan.schmitt.1995@polytechnique.org
Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News
Reply-To: Alan Schmitt <alan.schmitt@polytechnique.org>
X-Loop: caml-list@inria.fr
X-Sequence: 18255
Errors-To: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>
List-Post: <mailto:caml-list@inria.fr>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
Archived-At: <http://sympa.inria.fr/sympa/arcsearch_id/caml-list/2020-10/87362rn7i1.fsf%40m4x.org>

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: base64

SGVsbG8NCg0KSGVyZSBpcyB0aGUgbGF0ZXN0IE9DYW1sIFdlZWtseSBOZXdzLCBmb3IgdGhlIHdl
ZWsgb2YgU2VwdGVtYmVyIDI5IHRvDQpPY3RvYmVyIDA2LCAyMDIwLg0KDQpUYWJsZSBvZiBDb250
ZW50cw0K4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
DQoNCnZ1ZS1qc29vIDAuMg0KUmVoYWJpbGl0YXRpbmcgcGFja3MgdXNpbmcgZnVuY3RvcnMgYW5k
IHJlY3Vyc2l2aXR5LCBwYXJ0IDINCkNsYXAgMC4xLjAgKENvbW1hbmQtTGluZSBBcmd1bWVudCBQ
YXJzaW5nKQ0KT2xkIENXTg0KDQoNCnZ1ZS1qc29vIDAuMg0K4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgQXJjaGl2ZTogPGh0dHBzOi8vZGlzY3Vzcy5vY2FtbC5vcmcv
dC9hbm4tdnVlLWpzb28tMC0yLzY1MjIvMT4NCg0KDQpsZXZpbGxhaW4ubWF4aW1lIGFubm91bmNl
ZA0K4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSADQoNCiAgSSdkIGxpa2UgdG8gYW5ub3VuY2UgdGhlIHNl
Y29uZCByZWxlYXNlIG9mIHZ1ZS1qc29vICh2dWUtanNvby4wLjIpLiBBDQogIGpzX29mX29jYW1s
IGJpbmRpbmcgYW5kIGhlbHBlcnMgdG8gdXNlIHRoZSB2dWUtanMgZnJhbWV3b3JrIHdpdGgNCiAg
anNfb2Zfb2NhbWwuDQoNCg0KWGF2aWVyIFZhbiBkZSBXb2VzdHluZSBhZGRlZA0K4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSA4pSADQoNCiAgSGVyZSBpcyB0aGUgbGluazogPGh0dHBzOi8vZ2l0bGFi
LmNvbS9vLWxhYnMvdnVlLWpzb28+DQoNCiAgKENvbmdyYXR1bGF0aW9uISkNCg0KDQpSZWhhYmls
aXRhdGluZyBwYWNrcyB1c2luZyBmdW5jdG9ycyBhbmQgcmVjdXJzaXZpdHksIHBhcnQgMg0K4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQDQoNCiAgQXJjaGl2ZToNCiAgPGh0dHBzOi8vZGlzY3Vzcy5vY2FtbC5vcmcvdC9yZWhhYmls
aXRhdGluZy1wYWNrcy11c2luZy1mdW5jdG9ycy1hbmQtcmVjdXJzaXZpdHktcGFydC0yLzY1MjUv
MT4NCg0KDQpPQ2FtbFBybyBhbm5vdW5jZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQogIEZvbGxvd2luZyB0aGUgcHVibGljYXRpb24g
b2YgW3RoZSBmaXJzdCBwYXJ0XSBvZiBvdXIgYmxvZ3Bvc3QgYWJvdXQNCiAgdGhlIHJlZGVtcHRp
b24gb2YgcGFja3MgaW4gdGhlIE9DYW1sIGVjb3N5c3RlbSwgd2UgYXJlIHBsZWFzZWQgdG8NCiAg
c2hhcmUgIltSZWhhYmlsaXRhdGluZyBwYWNrcyB1c2luZyBmdW5jdG9ycyBhbmQgcmVjdXJzaXZp
dHksIHBhcnQgMi5dIg0KDQogICAgICAgIFRoaXMgYmxvZyBwb3N0IGFuZCB0aGUgcHJldmlvdXMg
b25lIGFib3V0IGZ1bmN0b3IgcGFja3MNCiAgICAgICAgY292ZXJzIHR3byBSRkNzIGN1cnJlbnRs
eSBkZXZlbG9wZWQgYnkgT0NhbWxQcm8gYW5kIEphbmUNCiAgICAgICAgU3RyZWV0LiBXZSBwcmV2
aW91c2x5IGludHJvZHVjZWQgZnVuY3RvciBwYWNrcywgYSBuZXcNCiAgICAgICAgZmVhdHVyZSBh
ZGRpbmcgdGhlIHBvc3NpYmxpdHkgdG8gY29tcGlsZSBwYWNrcyBhcw0KICAgICAgICBmdW5jdG9y
cywgYWxsb3dpbmcgdGhlIHVzZXIgdG8gaW1wbGVtZW50IGZ1bmN0b3JzIGFzDQogICAgICAgIG11
bHRpcGxlIHNvdXJjZSBmaWxlcyBvciBldmVuIHBhcmFtZXRlcml6ZWQgbGlicmFyaWVzLg0KDQog
ICAgICAgIEluIHRoaXMgYmxvZyBwb3N0LCB3ZSB3aWxsIGNvdmVyIHRoZSBvdGhlciBhc3BlY3Qg
b2YgdGhlDQogICAgICAgIHBhY2tzIHJlaGFiaWxpdGF0aW9uOiBhbGxvd2luZyBhbnlvbmUgdG8g
aW1wbGVtZW50DQogICAgICAgIHJlY3Vyc2l2ZSBjb21waWxhdGlvbiB1bml0cyB1c2luZyBwYWNr
cyAoYXMgZGVzY3JpYmVkDQogICAgICAgIGZvcm1hbGx5IGluIHRoZSBSRkMjMjApLiBPdXIgcHJl
dmlvdXMgcG9zdCBpbnRyb2R1Y2VkDQogICAgICAgIGJyaWVmbHkgaG93IHBhY2tzIHdlcmUgY29t
cGlsZWQgYW5kIHdoeSB3ZSBuZWVkZWQgc29tZQ0KICAgICAgICBiaXRzIG9mIGNsb3N1cmUgY29u
dmVyc2lvbiB0byBlZmZlY3RpdmVseSBpbXBsZW1lbnQgYmlnDQogICAgICAgIGZ1bmN0b3JzLiBP
bmNlIGFnYWluLCB0byBpbXBsZW1lbnQgcmVjdXJzaXZlIHBhY2tzIHdlIHdpbGwNCiAgICAgICAg
bmVlZCB0byBlbmNvZGUgbW9kdWxlcyB0aHJvdWdoIHRoaXMgdGVjaG5pcXVlLCBhcyBzdWNoIHdl
DQogICAgICAgIGFkdmlzZSB0aGUgcmVhZGVyIHRvIGNoZWNrIGF0IGxlYXN0IHRoZSBpbnRyb2R1
Y3Rpb24gYW5kDQogICAgICAgIHRoZSBjb21waWxhdGlvbiBwYXJ0IG9mIGZ1bmN0b3IgcGFja3Mu
DQoNCg0KW3RoZSBmaXJzdCBwYXJ0XQ0KPGh0dHBzOi8vd3d3Lm9jYW1scHJvLmNvbS8yMDIwLzA5
LzI0L3JlaGFiaWxpdGF0aW5nLXBhY2tzLXVzaW5nLWZ1bmN0b3JzLWFuZC1yZWN1cnNpdml0eS1w
YXJ0LTEvPg0KDQpbUmVoYWJpbGl0YXRpbmcgcGFja3MgdXNpbmcgZnVuY3RvcnMgYW5kIHJlY3Vy
c2l2aXR5LCBwYXJ0IDIuXQ0KPGh0dHBzOi8vd3d3Lm9jYW1scHJvLmNvbS8yMDIwLzA5LzMwL3Jl
aGFiaWxpdGF0aW5nLXBhY2tzLXVzaW5nLWZ1bmN0b3JzLWFuZC1yZWN1cnNpdml0eS1wYXJ0LTIv
Pg0KDQoNCkNsYXAgMC4xLjAgKENvbW1hbmQtTGluZSBBcmd1bWVudCBQYXJzaW5nKQ0K4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ
4pWQ4pWQDQoNCiAgQXJjaGl2ZToNCiAgPGh0dHBzOi8vZGlzY3Vzcy5vY2FtbC5vcmcvdC9hbm4t
Y2xhcC0wLTEtMC1jb21tYW5kLWxpbmUtYXJndW1lbnQtcGFyc2luZy82NTQ0LzE+DQoNCg0KcmJh
cmRvdSBhbm5vdW5jZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgA0KDQogIEkgYW0gaGFwcHkgdG8gYW5ub3VuY2UgdGhlIGZpcnN0IHJlbGVhc2Ug
b2YgQ2xhcC4NCg0KICBDbGFwIGlzIGEgbGlicmFyeSBmb3IgY29tbWFuZC1saW5lIGFyZ3VtZW50
IHBhcnNpbmcuIENsYXAgd29ya3MgYnkNCiAgZGlyZWN0bHkgY29uc3VtaW5nIGFyZ3VtZW50cyBp
biBhbiBpbXBlcmF0aXZlIHdheS4gVHJhZGl0aW9uYWxseSwNCiAgYXJndW1lbnQgcGFyc2luZyBp
biBPQ2FtbCBpcyBkb25lIGJ5IGZpcnN0IGRlZmluaW5nIGEgc3BlY2lmaWNhdGlvbg0KICAoYW4g
T0NhbWwgdmFsdWUgZGVmaW5pbmcgdGhlIHR5cGVzIG9mIGFyZ3VtZW50cyksIGFuZCB0aGVuIHBh
cnNpbmcNCiAgZnJvbSB0aGlzIHNwZWNpZmljYXRpb24uIFRoZSAiaW1wdXJlIiBhcHByb2FjaCBv
ZiBDbGFwIHNraXBzIHRoZSBuZWVkDQogIHRvIGRlZmluZSBhIHNwZWNpZmljYXRpb24gYW5kIHJl
c3VsdHMgaW4gY29kZSB3aGljaCBpcyBxdWl0ZSBzaW1wbGUgaW4NCiAgcHJhY3RpY2UsIHdpdGgg
bGltaXRlZCBib2lsZXJwbGF0ZS4NCg0KICBDbGFwIGlzIGF2YWlsYWJsZSBhcyBhbiBvcGFtIHBh
Y2thZ2UgKGBvcGFtIGluc3RhbGwgY2xhcCcpLg0KDQogIFNvdXJjZSBjb2RlLCBBUEkgZG9jdW1l
bnRhdGlvbiBhbmQgYSBmdWxsIGNvbW1lbnRlZCBleGFtcGxlIGFyZQ0KICBhdmFpbGFibGUgYXQ6
IDxodHRwczovL2dpdGh1Yi5jb20vcmJhcmRvdS9jbGFwLz4NCg0KDQpPbGQgQ1dODQrilZDilZDi
lZDilZDilZDilZDilZANCg0KICBJZiB5b3UgaGFwcGVuIHRvIG1pc3MgYSBDV04sIHlvdSBjYW4g
W3NlbmQgbWUgYSBtZXNzYWdlXSBhbmQgSSdsbCBtYWlsDQogIGl0IHRvIHlvdSwgb3IgZ28gdGFr
ZSBhIGxvb2sgYXQgW3RoZSBhcmNoaXZlXSBvciB0aGUgW1JTUyBmZWVkIG9mIHRoZQ0KICBhcmNo
aXZlc10uDQoNCiAgSWYgeW91IGFsc28gd2lzaCB0byByZWNlaXZlIGl0IGV2ZXJ5IHdlZWsgYnkg
bWFpbCwgeW91IG1heSBzdWJzY3JpYmUNCiAgW29ubGluZV0uDQoNCiAgW0FsYW4gU2NobWl0dF0N
Cg0KDQpbc2VuZCBtZSBhIG1lc3NhZ2VdIDxtYWlsdG86YWxhbi5zY2htaXR0QHBvbHl0ZWNobmlx
dWUub3JnPg0KDQpbdGhlIGFyY2hpdmVdIDxodHRwOi8vYWxhbi5wZXRpdGVwb21tZS5uZXQvY3du
Lz4NCg0KW1JTUyBmZWVkIG9mIHRoZSBhcmNoaXZlc10gPGh0dHA6Ly9hbGFuLnBldGl0ZXBvbW1l
Lm5ldC9jd24vY3duLnJzcz4NCg0KW29ubGluZV0gPGh0dHA6Ly9saXN0cy5pZHlsbC5vcmcvbGlz
dGluZm8vY2FtbC1uZXdzLXdlZWtseS8+DQoNCltBbGFuIFNjaG1pdHRdIDxodHRwOi8vYWxhbi5w
ZXRpdGVwb21tZS5uZXQvPg0KDQo=
--=-=-=
Content-Type: text/html
Content-Disposition: inline

<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
<!-- 2020-10-06 Tue 09:20 -->
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<title>OCaml Weekly News</title>
<meta name="generator" content="Org mode" />
<style type="text/css">
 <!--/*--><![CDATA[/*><!--*/
  .title  { text-align: center;
             margin-bottom: .2em; }
  .subtitle { text-align: center;
              font-size: medium;
              font-weight: bold;
              margin-top:0; }
  .todo   { font-family: monospace; color: red; }
  .done   { font-family: monospace; color: green; }
  .priority { font-family: monospace; color: orange; }
  .tag    { background-color: #eee; font-family: monospace;
            padding: 2px; font-size: 80%; font-weight: normal; }
  .timestamp { color: #bebebe; }
  .timestamp-kwd { color: #5f9ea0; }
  .org-right  { margin-left: auto; margin-right: 0px;  text-align: right; }
  .org-left   { margin-left: 0px;  margin-right: auto; text-align: left; }
  .org-center { margin-left: auto; margin-right: auto; text-align: center; }
  .underline { text-decoration: underline; }
  #postamble p, #preamble p { font-size: 90%; margin: .2em; }
  p.verse { margin-left: 3%; }
  pre {
    border: 1px solid #ccc;
    box-shadow: 3px 3px 3px #eee;
    padding: 8pt;
    font-family: monospace;
    overflow: auto;
    margin: 1.2em;
  }
  pre.src {
    position: relative;
    overflow: visible;
    padding-top: 1.2em;
  }
  pre.src:before {
    display: none;
    position: absolute;
    background-color: white;
    top: -10px;
    right: 10px;
    padding: 3px;
    border: 1px solid black;
  }
  pre.src:hover:before { display: inline;}
  /* Languages per Org manual */
  pre.src-asymptote:before { content: 'Asymptote'; }
  pre.src-awk:before { content: 'Awk'; }
  pre.src-C:before { content: 'C'; }
  /* pre.src-C++ doesn't work in CSS */
  pre.src-clojure:before { content: 'Clojure'; }
  pre.src-css:before { content: 'CSS'; }
  pre.src-D:before { content: 'D'; }
  pre.src-ditaa:before { content: 'ditaa'; }
  pre.src-dot:before { content: 'Graphviz'; }
  pre.src-calc:before { content: 'Emacs Calc'; }
  pre.src-emacs-lisp:before { content: 'Emacs Lisp'; }
  pre.src-fortran:before { content: 'Fortran'; }
  pre.src-gnuplot:before { content: 'gnuplot'; }
  pre.src-haskell:before { content: 'Haskell'; }
  pre.src-hledger:before { content: 'hledger'; }
  pre.src-java:before { content: 'Java'; }
  pre.src-js:before { content: 'Javascript'; }
  pre.src-latex:before { content: 'LaTeX'; }
  pre.src-ledger:before { content: 'Ledger'; }
  pre.src-lisp:before { content: 'Lisp'; }
  pre.src-lilypond:before { content: 'Lilypond'; }
  pre.src-lua:before { content: 'Lua'; }
  pre.src-matlab:before { content: 'MATLAB'; }
  pre.src-mscgen:before { content: 'Mscgen'; }
  pre.src-ocaml:before { content: 'Objective Caml'; }
  pre.src-octave:before { content: 'Octave'; }
  pre.src-org:before { content: 'Org mode'; }
  pre.src-oz:before { content: 'OZ'; }
  pre.src-plantuml:before { content: 'Plantuml'; }
  pre.src-processing:before { content: 'Processing.js'; }
  pre.src-python:before { content: 'Python'; }
  pre.src-R:before { content: 'R'; }
  pre.src-ruby:before { content: 'Ruby'; }
  pre.src-sass:before { content: 'Sass'; }
  pre.src-scheme:before { content: 'Scheme'; }
  pre.src-screen:before { content: 'Gnu Screen'; }
  pre.src-sed:before { content: 'Sed'; }
  pre.src-sh:before { content: 'shell'; }
  pre.src-sql:before { content: 'SQL'; }
  pre.src-sqlite:before { content: 'SQLite'; }
  /* additional languages in org.el's org-babel-load-languages alist */
  pre.src-forth:before { content: 'Forth'; }
  pre.src-io:before { content: 'IO'; }
  pre.src-J:before { content: 'J'; }
  pre.src-makefile:before { content: 'Makefile'; }
  pre.src-maxima:before { content: 'Maxima'; }
  pre.src-perl:before { content: 'Perl'; }
  pre.src-picolisp:before { content: 'Pico Lisp'; }
  pre.src-scala:before { content: 'Scala'; }
  pre.src-shell:before { content: 'Shell Script'; }
  pre.src-ebnf2ps:before { content: 'ebfn2ps'; }
  /* additional language identifiers per "defun org-babel-execute"
       in ob-*.el */
  pre.src-cpp:before  { content: 'C++'; }
  pre.src-abc:before  { content: 'ABC'; }
  pre.src-coq:before  { content: 'Coq'; }
  pre.src-groovy:before  { content: 'Groovy'; }
  /* additional language identifiers from org-babel-shell-names in
     ob-shell.el: ob-shell is the only babel language using a lambda to put
     the execution function name together. */
  pre.src-bash:before  { content: 'bash'; }
  pre.src-csh:before  { content: 'csh'; }
  pre.src-ash:before  { content: 'ash'; }
  pre.src-dash:before  { content: 'dash'; }
  pre.src-ksh:before  { content: 'ksh'; }
  pre.src-mksh:before  { content: 'mksh'; }
  pre.src-posh:before  { content: 'posh'; }
  /* Additional Emacs modes also supported by the LaTeX listings package */
  pre.src-ada:before { content: 'Ada'; }
  pre.src-asm:before { content: 'Assembler'; }
  pre.src-caml:before { content: 'Caml'; }
  pre.src-delphi:before { content: 'Delphi'; }
  pre.src-html:before { content: 'HTML'; }
  pre.src-idl:before { content: 'IDL'; }
  pre.src-mercury:before { content: 'Mercury'; }
  pre.src-metapost:before { content: 'MetaPost'; }
  pre.src-modula-2:before { content: 'Modula-2'; }
  pre.src-pascal:before { content: 'Pascal'; }
  pre.src-ps:before { content: 'PostScript'; }
  pre.src-prolog:before { content: 'Prolog'; }
  pre.src-simula:before { content: 'Simula'; }
  pre.src-tcl:before { content: 'tcl'; }
  pre.src-tex:before { content: 'TeX'; }
  pre.src-plain-tex:before { content: 'Plain TeX'; }
  pre.src-verilog:before { content: 'Verilog'; }
  pre.src-vhdl:before { content: 'VHDL'; }
  pre.src-xml:before { content: 'XML'; }
  pre.src-nxml:before { content: 'XML'; }
  /* add a generic configuration mode; LaTeX export needs an additional
     (add-to-list 'org-latex-listings-langs '(conf " ")) in .emacs */
  pre.src-conf:before { content: 'Configuration File'; }

  table { border-collapse:collapse; }
  caption.t-above { caption-side: top; }
  caption.t-bottom { caption-side: bottom; }
  td, th { vertical-align:top;  }
  th.org-right  { text-align: center;  }
  th.org-left   { text-align: center;   }
  th.org-center { text-align: center; }
  td.org-right  { text-align: right;  }
  td.org-left   { text-align: left;   }
  td.org-center { text-align: center; }
  dt { font-weight: bold; }
  .footpara { display: inline; }
  .footdef  { margin-bottom: 1em; }
  .figure { padding: 1em; }
  .figure p { text-align: center; }
  .equation-container {
    display: table;
    text-align: center;
    width: 100%;
  }
  .equation {
    vertical-align: middle;
  }
  .equation-label {
    display: table-cell;
    text-align: right;
    vertical-align: middle;
  }
  .inlinetask {
    padding: 10px;
    border: 2px solid gray;
    margin: 10px;
    background: #ffffcc;
  }
  #org-div-home-and-up
   { text-align: right; font-size: 70%; white-space: nowrap; }
  textarea { overflow-x: auto; }
  .linenr { font-size: smaller }
  .code-highlighted { background-color: #ffff00; }
  .org-info-js_info-navigation { border-style: none; }
  #org-info-js_console-label
    { font-size: 10px; font-weight: bold; white-space: nowrap; }
  .org-info-js_search-highlight
    { background-color: #ffff00; color: #000000; font-weight: bold; }
  .org-svg { width: 90%; }
  /*]]>*/-->
</style>
<style type="text/css">#table-of-contents h2 { display: none } .title { display: none } .authorname { text-align: right }</style>
<style type="text/css">.outline-2 {border-top: 1px solid black;}</style>
<script type="text/javascript">
/*
@licstart  The following is the entire license notice for the
JavaScript code in this tag.

Copyright (C) 2012-2020 Free Software Foundation, Inc.

The JavaScript code in this tag is free software: you can
redistribute it and/or modify it under the terms of the GNU
General Public License (GNU GPL) as published by the Free Software
Foundation, either version 3 of the License, or (at your option)
any later version.  The code is distributed WITHOUT ANY WARRANTY;
without even the implied warranty of MERCHANTABILITY or FITNESS
FOR A PARTICULAR PURPOSE.  See the GNU GPL for more details.

As additional permission under GNU GPL version 3 section 7, you
may distribute non-source (e.g., minimized or compacted) forms of
that code without the copy of the GNU GPL normally required by
section 4, provided you include this license notice and a URL
through which recipients can access the Corresponding Source.


@licend  The above is the entire license notice
for the JavaScript code in this tag.
*/
<!--/*--><![CDATA[/*><!--*/
 function CodeHighlightOn(elem, id)
 {
   var target = document.getElementById(id);
   if(null != target) {
     elem.cacheClassElem = elem.className;
     elem.cacheClassTarget = target.className;
     target.className = "code-highlighted";
     elem.className   = "code-highlighted";
   }
 }
 function CodeHighlightOff(elem, id)
 {
   var target = document.getElementById(id);
   if(elem.cacheClassElem)
     elem.className = elem.cacheClassElem;
   if(elem.cacheClassTarget)
     target.className = elem.cacheClassTarget;
 }
/*]]>*///-->
</script>
</head>
<body>
<div id="content">
<h1 class="title">OCaml Weekly News</h1>
<p>
<a href="http://alan.petitepomme.net/cwn/2020.09.29.html">Previous Week</a> <a href="http://alan.petitepomme.net/cwn/index.html">Up</a> <a href="http://alan.petitepomme.net/cwn/2020.10.13.html">Next Week</a>
</p>

<p>
Hello
</p>

<p>
Here is the latest OCaml Weekly News, for the week of September 29 to October 06, 2020.
</p>

<div id="table-of-contents">
<h2>Table of Contents</h2>
<div id="text-table-of-contents">
<ul>
<li><a href="#1">vue-jsoo 0.2</a></li>
<li><a href="#2">Rehabilitating packs using functors and recursivity, part 2</a></li>
<li><a href="#3">Clap 0.1.0 (Command-Line Argument Parsing)</a></li>
<li><a href="#orgc35544d">Old CWN</a></li>
</ul>
</div>
</div>


<div id="outline-container-orgc5e2b5e" class="outline-2">
<h2 id="1">vue-jsoo 0.2</h2>
<div class="outline-text-2" id="text-1">
<p>
Archive: <a href="https://discuss.ocaml.org/t/ann-vue-jsoo-0-2/6522/1">https://discuss.ocaml.org/t/ann-vue-jsoo-0-2/6522/1</a>
</p>
</div>

<div id="outline-container-org605ab8f" class="outline-3">
<h3 id="org605ab8f">levillain.maxime announced</h3>
<div class="outline-text-3" id="text-org605ab8f">
<p>
I'd like to announce the second release of vue-jsoo (vue-jsoo.0.2). A js_of_ocaml binding and helpers
to use the vue-js framework with js_of_ocaml.
</p>
</div>
</div>


<div id="outline-container-orga978a0d" class="outline-3">
<h3 id="orga978a0d">Xavier Van de Woestyne added</h3>
<div class="outline-text-3" id="text-orga978a0d">
<p>
Here is the link: <a href="https://gitlab.com/o-labs/vue-jsoo">https://gitlab.com/o-labs/vue-jsoo</a>
</p>

<p>
(Congratulation!)
</p>
</div>
</div>
</div>




<div id="outline-container-org8f4b4a6" class="outline-2">
<h2 id="2">Rehabilitating packs using functors and recursivity, part 2</h2>
<div class="outline-text-2" id="text-2">
<p>
Archive: <a href="https://discuss.ocaml.org/t/rehabilitating-packs-using-functors-and-recursivity-part-2/6525/1">https://discuss.ocaml.org/t/rehabilitating-packs-using-functors-and-recursivity-part-2/6525/1</a>
</p>
</div>

<div id="outline-container-org790fca8" class="outline-3">
<h3 id="org790fca8">OCamlPro announced</h3>
<div class="outline-text-3" id="text-org790fca8">
<p>
Following the publication of <a href="https://www.ocamlpro.com/2020/09/24/rehabilitating-packs-using-functors-and-recursivity-part-1/">the first
part</a>
of our blogpost about the redemption of packs in the OCaml ecosystem, we are pleased to share
"<a href="https://www.ocamlpro.com/2020/09/30/rehabilitating-packs-using-functors-and-recursivity-part-2/">Rehabilitating packs using functors and recursivity, part
2.</a>"
</p>

<blockquote>
<p>
This blog post and the previous one about functor packs covers two RFCs currently developed by
OCamlPro and Jane Street. We previously introduced functor packs, a new feature adding the possiblity
to compile packs as functors, allowing the user to implement functors as multiple source files or
even parameterized libraries.
</p>

<p>
In this blog post, we will cover the other aspect of the packs rehabilitation: allowing anyone to
implement recursive compilation units using packs (as described formally in the RFC#20). Our previous
post introduced briefly how packs were compiled and why we needed some bits of closure conversion to
effectively implement big functors. Once again, to implement recursive packs we will need to encode
modules through this technique, as such we advise the reader to check at least the introduction and
the compilation part of functor packs.
</p>
</blockquote>
</div>
</div>
</div>




<div id="outline-container-org6d7b4d5" class="outline-2">
<h2 id="3">Clap 0.1.0 (Command-Line Argument Parsing)</h2>
<div class="outline-text-2" id="text-3">
<p>
Archive: <a href="https://discuss.ocaml.org/t/ann-clap-0-1-0-command-line-argument-parsing/6544/1">https://discuss.ocaml.org/t/ann-clap-0-1-0-command-line-argument-parsing/6544/1</a>
</p>
</div>

<div id="outline-container-orgffdd807" class="outline-3">
<h3 id="orgffdd807">rbardou announced</h3>
<div class="outline-text-3" id="text-orgffdd807">
<p>
I am happy to announce the first release of Clap.
</p>

<p>
Clap is a library for command-line argument parsing. Clap works by directly consuming arguments in an
imperative way. Traditionally, argument parsing in OCaml is done by first defining a specification (an
OCaml value defining the types of arguments), and then parsing from this specification. The "impure"
approach of Clap skips the need to define a specification and results in code which is quite simple in
practice, with limited boilerplate.
</p>

<p>
Clap is available as an opam package (<code>opam install clap</code>).
</p>

<p>
Source code, API documentation and a full commented example are available at:
<a href="https://github.com/rbardou/clap/">https://github.com/rbardou/clap/</a>
</p>
</div>
</div>
</div>




<div id="outline-container-orgc35544d" class="outline-2">
<h2 id="orgc35544d">Old CWN</h2>
<div class="outline-text-2" id="text-orgc35544d">
<p>
If you happen to miss a CWN, you can <a href="mailto:alan.schmitt@polytechnique.org">send me a message</a> and I'll mail it to you, or go take a look at <a href="http://alan.petitepomme.net/cwn/">the archive</a> or the <a href="http://alan.petitepomme.net/cwn/cwn.rss">RSS feed of the archives</a>.
</p>

<p>
If you also wish to receive it every week by mail, you may subscribe <a href="http://lists.idyll.org/listinfo/caml-news-weekly/">online</a>.
</p>

<div class="authorname">
<p>
<a href="http://alan.petitepomme.net/">Alan Schmitt</a>
</p>

</div>
</div>
</div>
</div>
</body>
</html>


--=-=-=--