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 170C35D4
	for <caml-list@inbox.ocaml.org>; Tue,  4 May 2021 08:58:27 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.82,271,1613430000"; 
   d="scan'208,217";a="506461173"
Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160])
  by mail2-relais-roc.national.inria.fr with ESMTP; 04 May 2021 10:58:16 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 93B25E038B; Tue,  4 May 2021 10:58:13 +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 951EEE0073
	for <caml-list@sympa.inria.fr>; Tue,  4 May 2021 10:58:08 +0200 (CEST)
IronPort-HdrOrdr: =?us-ascii?q?A9a23=3ACYpydanNvBdSn4FFWKZGqcOKPSLpDfLV3DAb?=
 =?us-ascii?q?vn1ZSRFFG/GwvcaogfgdyFvIkz4XQn4tgpStP6OHTHPa+/dOgbU5F7GkQQXgpS?=
 =?us-ascii?q?+UPJhvhLGC/xTMEzDzn9Q26Y5OaK57YeeAb2RSqebfzE2GH807wN+BmZrHuc77?=
 =?us-ascii?q?w212RQ9nL4Fshj0JaTqzKUF9SAlYCZdRLvP1jfZvnSaqengcc62AakUtYu6rnb?=
 =?us-ascii?q?D2va79bQVDLxAq7xTmt1yV1II=3D?=
X-IronPort-AV: E=Sophos;i="5.82,271,1613430000"; 
   d="scan'208,217";a="506461081"
Received: from clt-128-93-181-230.vpn.inria.fr (HELO set) ([128.93.181.230])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 May 2021 10:57:31 +0200
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "lwn" <lwn@lwn.net>, "cwn"  <cwn@lists.idyll.org>, caml-list@inria.fr
Date: Tue, 04 May 2021 10:57:31 +0200
Message-ID: <87bl9qvptw.fsf@m4x.org>
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="=-=-="
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: 18478
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/2021-05/87bl9qvptw.fsf%40m4x.org>

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

SGVsbG8NCg0KSGVyZSBpcyB0aGUgbGF0ZXN0IE9DYW1sIFdlZWtseSBOZXdzLCBmb3IgdGhlIHdl
ZWsgb2YgQXByaWwgMjcgdG8gTWF5DQowNCwgMjAyMS4NCg0KVGFibGUgb2YgQ29udGVudHMNCuKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgA0KDQpPY2Ft
bC1zb2xpZGl0eSwgYSBuZXcgT0NhbWwgbGlicmFyeSBmb3IgU29saWRpdHkNClJlbGVhc2Ugb2Yg
b2NhbWwtcGFuZG9jIDAuMS4wDQpTdGRsaWIgdnMgQ29udGFpbmVycyB2cyBCYXR0ZXJpZXMgdnMg
QmFzZSA6IENvcmUgZnVuY3Rpb25zIGNvbXBhcmlzb24NCk1hcnRpbiBKYW1ib24gcHJlc2VudGF0
aW9uIG9uIFNlbWdyZXAsIFdlZCBBcHJpbCAyMSBAIDdwbSBDZW50cmFsDQpvY2FtbC1sc3Atc2Vy
dmVyIDEuNi4wDQpPdGhlciBPQ2FtbCBOZXdzDQpPbGQgQ1dODQoNCg0KT2NhbWwtc29saWRpdHks
IGEgbmV3IE9DYW1sIGxpYnJhcnkgZm9yIFNvbGlkaXR5DQrilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZANCg0KICBBcmNoaXZlOg0KICA8aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L2Fu
bi1vY2FtbC1zb2xpZGl0eS1hLW5ldy1vY2FtbC1saWJyYXJ5LWZvci1zb2xpZGl0eS83NzQ2LzI+
DQoNCg0KQ29udGludWluZyB0aGUgdGhyZWFkIGZyb20gbGFzdCB3ZWVrLCBGYWJyaWNlIExlIEZl
c3NhbnQgYW5ub3VuY2VkDQrilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIANCg0KICBJIHNob3Vs
ZCBhZGQgdGhhdCB0aGUgcHJvamVjdCBpcyBub3cgYXZhaWxhYmxlIGluIHRoZSBvcGFtLXJlcG9z
aXRvcnksDQogIHNlZSBbc29saWRpdHktcGFyc2VyXSBhbmQgW3NvbGlkaXR5LXR5cGVjaGVja2Vy
XS4NCg0KDQpbc29saWRpdHktcGFyc2VyXSA8aHR0cHM6Ly9vcGFtLm9jYW1sLm9yZy9wYWNrYWdl
cy9zb2xpZGl0eS1wYXJzZXIvPg0KDQpbc29saWRpdHktdHlwZWNoZWNrZXJdDQo8aHR0cHM6Ly9v
cGFtLm9jYW1sLm9yZy9wYWNrYWdlcy9zb2xpZGl0eS10eXBlY2hlY2tlci8+DQoNCg0KUmVsZWFz
ZSBvZiBvY2FtbC1wYW5kb2MgMC4xLjANCuKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKV
kOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkA0K
DQogIEFyY2hpdmU6DQogIDxodHRwczovL2Rpc2N1c3Mub2NhbWwub3JnL3QvYW5uLXJlbGVhc2Ut
b2Ytb2NhbWwtcGFuZG9jLTAtMS0wLzc3NTkvMT4NCg0KDQpTYW11ZWwgTWltcmFtIGFubm91bmNl
ZA0K4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSADQoNCiAgSSBoYXZlIGp1c3QgcmVsZWFzZWQgW29jYW1sLXBhbmRvY10s
IGEgbmF0aXZlIE9DYW1sIGxpYnJhcnkgdG8gd3JpdGUNCiAgZmlsdGVycyBmb3IgW3BhbmRvY10s
IHdoaWNoIGlzIGEgbWFya2Rvd24tdG8tYW55dGhpbmcgY29udmVydGVyLiBJdA0KICBoYXMgYWxs
b3dlZCBtZSB0byB3cml0ZSBzb21lIHNpbXBsZSBmaWx0ZXJzIEkgbmVlZGVkIChzdWNoIGFzIGZv
cg0KICBpbmNsdWRpbmcgY29kZSBzbmlwcGV0cywgd2hpY2ggaXMgbm90IHN1cHBvcnRlZCBuYXRp
dmVseSkuDQoNCiAgVGhlIHN1cHBvcnQgaXMgbm90IGNvbXBsZXRlIHlldCBob3dldmVyLCBJIG1p
Z2h0IGFkZCBtb3JlIGlmIG5lZWRlZA0KICAoYW5kIHB1bGwtcmVxdWVzdHMgYXJlIG9mIGNvdXJz
ZSBhY2NlcHRlZCA6c2xpZ2h0X3NtaWxlOikuDQoNCg0KW29jYW1sLXBhbmRvY10gPGh0dHBzOi8v
Z2l0aHViLmNvbS9zbWltcmFtL29jYW1sLXBhbmRvYz4NCg0KW3BhbmRvY10gPGh0dHBzOi8vcGFu
ZG9jLm9yZy8+DQoNCg0KU3RkbGliIHZzIENvbnRhaW5lcnMgdnMgQmF0dGVyaWVzIHZzIEJhc2Ug
OiBDb3JlIGZ1bmN0aW9ucyBjb21wYXJpc29uDQrilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZANCg0KICBBcmNoaXZlOg0KICA8aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L3N0
ZGxpYi12cy1jb250YWluZXJzLXZzLWJhdHRlcmllcy12cy1iYXNlLWNvcmUtZnVuY3Rpb25zLWNv
bXBhcmlzb24vNzc2Ni8xPg0KDQoNCkpwIFIgYW5ub3VuY2VkDQrilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIANCg0KICBZb3Ugd2FudCB0byBjb21wYXJlIHRoZSBtYWlu
IGNvcmUgZnVuY3Rpb25zIGZvdW5kIGluIHRoZSBPQ2FtbCBTdGRsaWINCiAgKHY0LjEyLjApLCBD
b250YWluZXJzICh2My4zKSwgQmF0dGVyaWVzICh2My4zLjApIGFuZCBCYXNlICh2MC4xNC4xKQ0K
ICBsaWJyYXJpZXMgPw0KDQogIENoZWNrIGl0IG91dCAhDQoNCiAgPGh0dHBzOi8vZ2l0aHViLmNv
bS9Gb3VyY2hhdXgvb2NhbWwtc3RkbGliLWNvbnRhaW5lcnMtYmF0dGVyaWVzLWJhc2UtY29tcGFy
aXNvbnM+DQoNCg0KVmxhZGltaXIgS2VsZXNoZXYgdGhlbiBhZGRlZA0K4pSA4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSADQoNCiAgU29tZW9uZSByZWFkaW5nIHRoaXMgbWlnaHQgYmUgYWxzbyBpbnRl
cmVzdGVkIGluIG15IChsZXNzIGZvcm1hbCkNCiAgY29tcGFyaXNvbiBiZXR3ZWVuIE9DYW1sIFN0
ZGxpYiBhbmQgQmFzZToNCiAgPGh0dHBzOi8vZ2lzdC5naXRodWIuY29tL2tlbGVzaGV2Lzc2NGVk
YWQwMTFhNmE3YTQwZGExMTcxNmIxOWRkYjc1Pg0KDQoNCk1hcnRpbiBKYW1ib24gcHJlc2VudGF0
aW9uIG9uIFNlbWdyZXAsIFdlZCBBcHJpbCAyMSBAIDdwbSBDZW50cmFsDQrilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZANCg0KICBBcmNoaXZlOg0KICA8aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90
L21hcnRpbi1qYW1ib24tcHJlc2VudGF0aW9uLW9uLXNlbWdyZXAtd2VkLWFwcmlsLTIxLTdwbS1j
ZW50cmFsLzc3MDkvNT4NCg0KDQpDbGF1ZGUgSmFnZXItUnViaW5zb24gYW5ub3VuY2VkDQrilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDi
lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIANCg0KICBUaGUgcmVjb3JkaW5nIG9mIE1h
cnRpbidzIHRhbGsgaXMgbm93IGF2YWlsYWJsZToNCiAgPGh0dHBzOi8vaGZwdWcub3JnLzIwMjEv
MDUvMDEvbWFydGluLWphbWJvbi05LWxhbmd1YWdlcy1ob3ctd2UtYnVpbHQtc2VtZ3JlcC1hLXBv
bHlnbG90LXN0YXRpYy1hbmFseXNpcy10b29sLz4NCg0KDQpNYXJ0aW4gSmFtYm9uIHRoZW4gYWRk
ZWQNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgOKUgOKUgOKUgA0KDQogIFRoYW5rcyBDbGF1ZGUhIFRoZSB0YWxrIFtzdGFydHMg
YXQgMTo0NV0uDQoNCg0KW3N0YXJ0cyBhdCAxOjQ1XSA8aHR0cHM6Ly93d3cueW91dHViZS5jb20v
d2F0Y2g/dj1INlRnSy1MTUE0WSZ0PTEwNXM+DQoNCg0KUnlhbiBTbGFkZSB0aGVuIHNhaWQNCuKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gA0KDQogIFtDb21ieV0gbWF5IGFsc28gYmUgb2YgaW50ZXJlc3QsIGl0J3MgYSBzaW1pbGFyIHBy
b2plY3QgYWxzbyB3cml0dGVuDQogIGluIE9DYW1sLg0KDQoNCltDb21ieV0gPGh0dHBzOi8vY29t
YnkuZGV2Lz4NCg0KDQpvY2FtbC1sc3Atc2VydmVyIDEuNi4wDQrilZDilZDilZDilZDilZDilZDi
lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZANCg0KICBBcmNo
aXZlOg0KICA8aHR0cHM6Ly9kaXNjdXNzLm9jYW1sLm9yZy90L2Fubi1vY2FtbC1sc3Atc2VydmVy
LTEtNi0wLzc3NzQvMT4NCg0KDQpSdWRpIEdyaW5iZXJnIGFubm91bmNlZA0K4pSA4pSA4pSA4pSA
4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA
DQoNCiAgT24gYmVoYWxmIG9mIHRoZSBvY2FtbC1sc3AgdGVhbSwgSSdkIGxpa2UgdG8gYW5ub3Vu
Y2UgdmVyc2lvbiAxLjYuMCBvZg0KICBvY2FtbC1sc3Atc2VydmVyLiBUaGUgaGlnaGxpZ2h0IG9m
IHRoaXMgcmVsZWFzZSBpcyB0aGUgdXBkYXRlZCB2ZXJzaW9uDQogIG9mIG1lcmxpbiB3aGljaCBi
cmluZ3MgbG90cyBvZiBuZXcgYnVnIGZpeGVzLg0KDQoNCjEuNi4wICgwNC8zMC8yMDIwKQ0K4pWM
4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWM4pWMDQoNCkZl
YXR1cmVzDQrilITilITilITilITilITilITilITilIQNCg0KICDigKIgQ29kZSBhY3Rpb24gdG8g
YW5ub3RhdGUgYSB2YWx1ZSB3aXRoIGl0cyB0eXBlICgjMzk3KQ0KDQoNCkZpeGVzDQrilITilITi
lITilITilIQNCg0KICDigKIgRml4IGludGVyZmFjZS9pbXBsZW1lbnRhdGlvbiBzd2l0Y2hpbmcg
b24gV2luZG93cyAoIzQyNykNCg0KICDigKIgQ29ycmVjdGx5IHBhcnNlIHByb2plY3QgcGF0aHMg
d2l0aCBzcGFjZXMgYW5kIG90aGVyIHNwZWNpYWwNCiAgICBjaGFyYWN0ZXJzIHRoYXQgbXVzdCBi
ZSBlc2NhcGVkLg0KDQogIOKAoiBQcmludCB0eXBlcyB3aXRoIGAtc2hvcnQtcGF0aHMnIGV2ZW4g
aWYgdGhlIHByb2plY3Qgd2Fzbid0IGJ1aWx0IHlldA0KDQoNCk90aGVyIE9DYW1sIE5ld3MNCuKV
kOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkOKVkA0KDQpGcm9tIHRo
ZSBvY2FtbGNvcmUgcGxhbmV0IGJsb2cNCuKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU
gA0KDQogIEhlcmUgYXJlIGxpbmtzIGZyb20gbWFueSBPQ2FtbCBibG9ncyBhZ2dyZWdhdGVkIGF0
IFtPQ2FtbCBQbGFuZXRdLg0KDQogIOKAoiBbQ3J5cHRvZ3JhcGh5IHVwZGF0ZXMgaW4gT0NhbWwg
YW5kIE1pcmFnZU9TXQ0KDQoNCltPQ2FtbCBQbGFuZXRdIDxodHRwOi8vb2NhbWwub3JnL2NvbW11
bml0eS9wbGFuZXQvPg0KDQpbQ3J5cHRvZ3JhcGh5IHVwZGF0ZXMgaW4gT0NhbWwgYW5kIE1pcmFn
ZU9TXQ0KPGh0dHBzOi8vaGFubmVzLm5xc2IuaW8vUG9zdHMvRUM+DQoNCg0KT2xkIENXTg0K4pWQ
4pWQ4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgSWYgeW91IGhhcHBlbiB0byBtaXNzIGEgQ1dOLCB5b3Ug
Y2FuIFtzZW5kIG1lIGEgbWVzc2FnZV0gYW5kIEknbGwgbWFpbA0KICBpdCB0byB5b3UsIG9yIGdv
IHRha2UgYSBsb29rIGF0IFt0aGUgYXJjaGl2ZV0gb3IgdGhlIFtSU1MgZmVlZCBvZiB0aGUNCiAg
YXJjaGl2ZXNdLg0KDQogIElmIHlvdSBhbHNvIHdpc2ggdG8gcmVjZWl2ZSBpdCBldmVyeSB3ZWVr
IGJ5IG1haWwsIHlvdSBtYXkgc3Vic2NyaWJlDQogIFtvbmxpbmVdLg0KDQogIFtBbGFuIFNjaG1p
dHRdDQoNCg0KW3NlbmQgbWUgYSBtZXNzYWdlXSA8bWFpbHRvOmFsYW4uc2NobWl0dEBwb2x5dGVj
aG5pcXVlLm9yZz4NCg0KW3RoZSBhcmNoaXZlXSA8aHR0cHM6Ly9hbGFuLnBldGl0ZXBvbW1lLm5l
dC9jd24vPg0KDQpbUlNTIGZlZWQgb2YgdGhlIGFyY2hpdmVzXSA8aHR0cHM6Ly9hbGFuLnBldGl0
ZXBvbW1lLm5ldC9jd24vY3duLnJzcz4NCg0KW29ubGluZV0gPGh0dHA6Ly9saXN0cy5pZHlsbC5v
cmcvbGlzdGluZm8vY2FtbC1uZXdzLXdlZWtseS8+DQoNCltBbGFuIFNjaG1pdHRdIDxodHRwczov
L2FsYW4ucGV0aXRlcG9tbWUubmV0Lz4NCg0K
--=-=-=
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>
<!-- 2021-05-04 Tue 10:55 -->
<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: auto;
    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; margin-top: 14px;}
  /* 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">
// @license magnet:?xt=urn:btih:e95b018ef3580986a04669f1b5879592219e2a7a&dn=public-domain.txt Public Domain
<!--/*--><![CDATA[/*><!--*/
     function CodeHighlightOn(elem, id)
     {
       var target = document.getElementById(id);
       if(null != target) {
         elem.classList.add("code-highlighted");
         target.classList.add("code-highlighted");
       }
     }
     function CodeHighlightOff(elem, id)
     {
       var target = document.getElementById(id);
       if(null != target) {
         elem.classList.remove("code-highlighted");
         target.classList.remove("code-highlighted");
       }
     }
    /*]]>*///-->
// @license-end
</script>
</head>
<body>
<div id="content">
<h1 class="title">OCaml Weekly News</h1>
<p>
<a href="https://alan.petitepomme.net/cwn/2021.04.27.html">Previous Week</a> <a href="https://alan.petitepomme.net/cwn/index.html">Up</a> <a href="https://alan.petitepomme.net/cwn/2021.05.11.html">Next Week</a>
</p>

<p>
Hello
</p>

<p>
Here is the latest OCaml Weekly News, for the week of April 27 to May 04, 2021.
</p>

<div id="table-of-contents">
<h2>Table of Contents</h2>
<div id="text-table-of-contents">
<ul>
<li><a href="#1">Ocaml-solidity, a new OCaml library for Solidity</a></li>
<li><a href="#2">Release of ocaml-pandoc 0.1.0</a></li>
<li><a href="#3">Stdlib vs Containers vs Batteries vs Base : Core functions comparison</a></li>
<li><a href="#4">Martin Jambon presentation on Semgrep, Wed April 21 @ 7pm Central</a></li>
<li><a href="#5">ocaml-lsp-server 1.6.0</a></li>
<li><a href="#6">Other OCaml News</a></li>
<li><a href="#orgd6c05df">Old CWN</a></li>
</ul>
</div>
</div>


<div id="outline-container-1" class="outline-2">
<h2 id="1">Ocaml-solidity, a new OCaml library for Solidity</h2>
<div class="outline-text-2" id="text-1">
<p>
Archive: <a href="https://discuss.ocaml.org/t/ann-ocaml-solidity-a-new-ocaml-library-for-solidity/7746/2">https://discuss.ocaml.org/t/ann-ocaml-solidity-a-new-ocaml-library-for-solidity/7746/2</a>
</p>
</div>

<div id="outline-container-orgc2d3836" class="outline-3">
<h3 id="orgc2d3836">Continuing the thread from last week, Fabrice Le Fessant announced</h3>
<div class="outline-text-3" id="text-orgc2d3836">
<p>
I should add that the project is now available in the opam-repository, see
<a href="https://opam.ocaml.org/packages/solidity-parser/">solidity-parser</a> and
<a href="https://opam.ocaml.org/packages/solidity-typechecker/">solidity-typechecker</a>.
</p>
</div>
</div>
</div>




<div id="outline-container-2" class="outline-2">
<h2 id="2">Release of ocaml-pandoc 0.1.0</h2>
<div class="outline-text-2" id="text-2">
<p>
Archive: <a href="https://discuss.ocaml.org/t/ann-release-of-ocaml-pandoc-0-1-0/7759/1">https://discuss.ocaml.org/t/ann-release-of-ocaml-pandoc-0-1-0/7759/1</a>
</p>
</div>

<div id="outline-container-orgd635d24" class="outline-3">
<h3 id="orgd635d24">Samuel Mimram announced</h3>
<div class="outline-text-3" id="text-orgd635d24">
<p>
I have just released <a href="https://github.com/smimram/ocaml-pandoc">ocaml-pandoc</a>, a native OCaml library to write filters
for <a href="https://pandoc.org/">pandoc</a>, which is a markdown-to-anything converter. It has allowed me to write some simple
filters I needed (such as for including code snippets, which is not supported natively).
</p>

<p>
The support is not complete yet however, I might add more if needed (and pull-requests are of course accepted
:slight_smile:).
</p>
</div>
</div>
</div>





<div id="outline-container-3" class="outline-2">
<h2 id="3">Stdlib vs Containers vs Batteries vs Base : Core functions comparison</h2>
<div class="outline-text-2" id="text-3">
<p>
Archive: <a href="https://discuss.ocaml.org/t/stdlib-vs-containers-vs-batteries-vs-base-core-functions-comparison/7766/1">https://discuss.ocaml.org/t/stdlib-vs-containers-vs-batteries-vs-base-core-functions-comparison/7766/1</a>
</p>
</div>

<div id="outline-container-org13d7a72" class="outline-3">
<h3 id="org13d7a72">Jp R announced</h3>
<div class="outline-text-3" id="text-org13d7a72">
<p>
You want to compare the main core functions found in the OCaml Stdlib (v4.12.0), Containers (v3.3), Batteries
(v3.3.0) and Base (v0.14.1) libraries ?
</p>

<p>
Check it out !
</p>

<p>
<a href="https://github.com/Fourchaux/ocaml-stdlib-containers-batteries-base-comparisons">https://github.com/Fourchaux/ocaml-stdlib-containers-batteries-base-comparisons</a>
</p>
</div>
</div>


<div id="outline-container-orgbe2d0e7" class="outline-3">
<h3 id="orgbe2d0e7">Vladimir Keleshev then added</h3>
<div class="outline-text-3" id="text-orgbe2d0e7">
<p>
Someone reading this might be also interested in my (less formal) comparison between OCaml Stdlib and Base:
<a href="https://gist.github.com/keleshev/764edad011a6a7a40da11716b19ddb75">https://gist.github.com/keleshev/764edad011a6a7a40da11716b19ddb75</a>
</p>
</div>
</div>
</div>




<div id="outline-container-4" class="outline-2">
<h2 id="4">Martin Jambon presentation on Semgrep, Wed April 21 @ 7pm Central</h2>
<div class="outline-text-2" id="text-4">
<p>
Archive: <a href="https://discuss.ocaml.org/t/martin-jambon-presentation-on-semgrep-wed-april-21-7pm-central/7709/5">https://discuss.ocaml.org/t/martin-jambon-presentation-on-semgrep-wed-april-21-7pm-central/7709/5</a>
</p>
</div>

<div id="outline-container-org0fba787" class="outline-3">
<h3 id="org0fba787">Claude Jager-Rubinson announced</h3>
<div class="outline-text-3" id="text-org0fba787">
<p>
The recording of Martin's talk is now available:
<a href="https://hfpug.org/2021/05/01/martin-jambon-9-languages-how-we-built-semgrep-a-polyglot-static-analysis-tool/">https://hfpug.org/2021/05/01/martin-jambon-9-languages-how-we-built-semgrep-a-polyglot-static-analysis-tool/</a>
</p>
</div>
</div>


<div id="outline-container-orgd7b45e6" class="outline-3">
<h3 id="orgd7b45e6">Martin Jambon then added</h3>
<div class="outline-text-3" id="text-orgd7b45e6">
<p>
Thanks Claude! The talk <a href="https://www.youtube.com/watch?v=H6TgK-LMA4Y&amp;t=105s">starts at 1:45</a>.
</p>
</div>
</div>


<div id="outline-container-org1779b2f" class="outline-3">
<h3 id="org1779b2f">Ryan Slade then said</h3>
<div class="outline-text-3" id="text-org1779b2f">
<p>
<a href="https://comby.dev/">Comby</a> may also be of interest, it's a similar project also written in OCaml.
</p>
</div>
</div>
</div>




<div id="outline-container-5" class="outline-2">
<h2 id="5">ocaml-lsp-server 1.6.0</h2>
<div class="outline-text-2" id="text-5">
<p>
Archive: <a href="https://discuss.ocaml.org/t/ann-ocaml-lsp-server-1-6-0/7774/1">https://discuss.ocaml.org/t/ann-ocaml-lsp-server-1-6-0/7774/1</a>
</p>
</div>

<div id="outline-container-org51a2710" class="outline-3">
<h3 id="org51a2710">Rudi Grinberg announced</h3>
<div class="outline-text-3" id="text-org51a2710">
<p>
On behalf of the ocaml-lsp team, I'd like to announce version 1.6.0 of ocaml-lsp-server. The highlight of this
release is the updated version of merlin which brings lots of new bug fixes.
</p>
</div>

<div id="outline-container-orge66bcf7" class="outline-4">
<h4 id="orge66bcf7">1.6.0 (04/30/2020)</h4>
<div class="outline-text-4" id="text-orge66bcf7">
</div>
<div id="outline-container-org428d85c" class="outline-5">
<h5 id="org428d85c">Features</h5>
<div class="outline-text-5" id="text-org428d85c">
<ul class="org-ul">
<li>Code action to annotate a value with its type (#397)</li>
</ul>
</div>
</div>

<div id="outline-container-orgdf0c0ff" class="outline-5">
<h5 id="orgdf0c0ff">Fixes</h5>
<div class="outline-text-5" id="text-orgdf0c0ff">
<ul class="org-ul">
<li>Fix interface/implementation switching on Windows (#427)</li>

<li>Correctly parse project paths with spaces and other special characters that
must be escaped.</li>

<li>Print types with <code>-short-paths</code> even if the project wasn't built yet</li>
</ul>
</div>
</div>
</div>
</div>
</div>




<div id="outline-container-6" class="outline-2">
<h2 id="6">Other OCaml News</h2>
<div class="outline-text-2" id="text-6">
</div>
<div id="outline-container-orge156881" class="outline-3">
<h3 id="orge156881">From the ocamlcore planet blog</h3>
<div class="outline-text-3" id="text-orge156881">
<p>
Here are links from many OCaml blogs aggregated at <a href="http://ocaml.org/community/planet/">OCaml Planet</a>.
</p>

<ul class="org-ul">
<li><a href="https://hannes.nqsb.io/Posts/EC">Cryptography updates in OCaml and MirageOS</a></li>
</ul>
</div>
</div>
</div>




<div id="outline-container-orgd6c05df" class="outline-2">
<h2 id="orgd6c05df">Old CWN</h2>
<div class="outline-text-2" id="text-orgd6c05df">
<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="https://alan.petitepomme.net/cwn/">the archive</a> or the <a href="https://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" id="org840c800">
<p>
<a href="https://alan.petitepomme.net/">Alan Schmitt</a>
</p>

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


--=-=-=--