From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 9DC5C7F30F for ; Tue, 17 Dec 2019 09:52:12 +0100 (CET) X-IronPort-AV: E=Sophos;i="5.69,324,1571695200"; d="asc'?scan'208,217";a="333418708" Received: from set.irisa.fr (HELO set) ([131.254.10.170]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Dec 2019 09:52:12 +0100 From: Alan Schmitt To: "lwn" , "cwn" , caml-list@inria.fr Date: Tue, 17 Dec 2019 09:52:10 +0100 Message-ID: <87fthjwczp.fsf@polytechnique.org> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="===-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News --===-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: multipart/alternative; boundary="==-=-=" --==-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 SGVsbG8NCg0KSGVyZSBpcyB0aGUgbGF0ZXN0IE9DYW1sIFdlZWtseSBOZXdz LCBmb3IgdGhlIHdlZWsgb2YgRGVjZW1iZXIgMTAgdG8gMTcsDQoyMDE5Lg0K DQpUYWJsZSBvZiBDb250ZW50cw0K4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSADQoNCklzIHRoZXJlIGEgZ29v ZCB3YXkgdG8gZW5jb2RlIGxpbmVhciB0eXBlcyBpbiBPQ2FtbD8NCkFyY2gg TGludXggaW5zdGFsbGVyIHdyaXR0ZW4gaW4gT0NhbWwNCmJhdHRlcmllcyBi YXR0ZXJpZXMuMi4xMS4wDQpPbGQgQ1dODQoNCg0KSXMgdGhlcmUgYSBnb29k IHdheSB0byBlbmNvZGUgbGluZWFyIHR5cGVzIGluIE9DYW1sPw0K4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgQXJjaGl2ZToNCiAgPGh0dHBzOi8vZGlz Y3Vzcy5vY2FtbC5vcmcvdC9pcy10aGVyZS1hLWdvb2Qtd2F5LXRvLWVuY29k ZS1saW5lYXItdHlwZXMtaW4tb2NhbWwvMTI5Mi83Pg0KDQoNCkNvbnRpbnVp bmcgdGhpcyBvbGQgdGhyZWFkLCBLb25zdGFudGluIE9sa2hvdnNraXkgc2Fp ZA0K4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSADQoNCiAgSSd2ZSBzdHVt YmxlZCB1cG9uIGEgbGlicmFyeSB0aGF0IGltcGxlbWVudHMgbGluZWFyIHR5 cGVzIGZvciBPQ2FtbCwNCiAgdXNpbmcgbW9uYWRzLCBsZW5zIGFuZCBzb21l IHBweCB0byBtYWtlIGl0IG1vcmUgbGlnaHR3ZWlnaHQuIE1pZ2h0IGJlDQog IG9mIGludGVyZXN0OiA8aHR0cHM6Ly9naXRodWIuY29tL2tlaWdvaS9saW5v Y2FtbD4NCg0KDQpBbnRvbiBLb2Noa292IGFkZGVkDQrilIDilIDilIDilIDi lIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIDilIAN Cg0KICBJdCBpcyB0aGUgcGFydCBvZiBldmVuIG1vcmUgaW50ZXJlc3Rpbmcg c3lzdGVtIC0gW09DYW1sIE1QU1RdDQogIChNdWx0aXBhcnR5IFNlc3Npb24g VHlwZXMpIFNlZSB0aGUgW3NsaWRlc10uDQoNCg0KW09DYW1sIE1QU1RdIDxo dHRwczovL2dpdGh1Yi5jb20va2VpZ29pL29jYW1sLW1wc3Q+DQoNCltzbGlk ZXNdDQo8aHR0cHM6Ly93d3cuc2xpZGVzaGFyZS5uZXQva2VpZ29pL29jYW1s bXBzdC1nbG9iYWwtcHJvdG9jb2wtY29tYmluYXRvcnMtMTc1NTE5MjE0Pg0K DQoNCkd1aWxsYXVtZSBNdW5jaC1NYWNjYWdub25pIHRoZW4gc2FpZA0K4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSA4pSA4pSADQoNCiAgKFRoZSBwYXBlciBsaW5rZWQgb24gdGhh dCBwYWdlIGlzIGRhdGVkIDIwMTEvMjAxNC4gSW4gY2FzZSBhbnlvbmUNCiAg d29uZGVycyB3aGV0aGVyIHRoZSBhdXRob3JzIGhhdmUgZm91bmQgYSB0aW1l IG1hY2hpbmUgaW4gYSBiYXJuIHRvIGJlDQogIGFibGUgdG8gY2l0ZSBwYXBl cnMgZnJvbSAyMDE4LCB0aGVyZSBqdXN0IHNlZW1zIHRvIGJlIGFuIGVycm9y IGluIHRoZQ0KICBwcmVwYXJhdGlvbi4gSXQgaXMgZnJlc2hseSBwdWJsaXNo ZWQsIGFuZCBhIFBERiB3aXRoIGNvcnJlY3QgZGF0ZXMgaXMNCiAgYXZhaWxh YmxlIFtoZXJlXS4pDQoNCg0KW2hlcmVdDQo8aHR0cHM6Ly93d3cuanN0YWdl LmpzdC5nby5qcC9hcnRpY2xlL2lwc2pqaXAvMjcvMC8yN180MzEvX2FydGlj bGU+DQoNCg0KQXJjaCBMaW51eCBpbnN0YWxsZXIgd3JpdHRlbiBpbiBPQ2Ft bA0K4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQ4pWQDQoNCiAgQXJjaGl2ZToNCiAgPGh0 dHBzOi8vZGlzY3Vzcy5vY2FtbC5vcmcvdC9hcmNoLWxpbnV4LWluc3RhbGxl ci13cml0dGVuLWluLW9jYW1sLzQzODgvMTI+DQoNCg0KRGFycmVuIGFubm91 bmNlZA0K4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA4pSA 4pSA4pSA4pSADQoNCiAgSSdtIGRvaW5nIGEgc2hvcnQgdXBkYXRlIGhlcmUg YXMgT2FsaSBoYXMgc2VlbiBzb21lIHNpZ25pZmljYW50DQogIGNoYW5nZXMu IFRoaXMgdXBkYXRlIGlzIGFsc28gdGhlIGxhc3Qgb25lIGhlcmUgdG8gYXZv aWQgYmVpbmcgdG9vDQogIGFubm95aW5nLCBhbmQgYWxzbyBzaW5jZSBJIHdv bid0IGJlIGFkZCB0b28gbXVjaCBuZXcgc3R1ZmYgdG8gT2FsaSBpbg0KICBm b3Jlc2VlYWJsZSBmdXR1cmUuDQoNCiAgTWFqb3IgY2hhbmdlcyBzaW5jZSBs YXN0IHRpbWUNCiAg4oCiIFNhbHRTdGFjayBmaWxlcyBhbmQgc2NyaXB0IGZp bGVzIChvciBwcm9maWxlcykgbm93IGxpdmUgaW4gYQ0KICAgIHNlcGFyYXRl IFtyZXBvXQ0KICAgIOKAoiBPYWxpIGFjY2VwdHMgY3VzdG9tIHByb2ZpbGUg cmVwbyBVUkwgdG8gZmFjaWxpdGF0ZSB1c2luZyB5b3VyIG93bg0KICAgICAg U2FsdFN0YWNrIGZpbGVzIHdpdGhvdXQgZm9ya2luZyBPYWxpIGl0c2VsZg0K ICDigKIgU2VtaSBzZWxmLWRvY3VtZW50YXRpb24NCiAgICDigKIgQWRkZWQg bWVjaGFuaXNtIHRvIGZhY2lsaXRhdGUgaW5saW5lIGRvY3VtZW50YXRpb24g aW5zaWRlDQogICAgICBgb2FsaS5tbCcgaXRzZWxmDQogICAg4oCiIFRoZSBn ZW5lcmF0ZWQgbWFya2Rvd24gZG9jIGlzIHN0b3JlZCBhcyBbT0FMSV9ET0Nd IGluIHJlcG8sIGl0DQogICAgICBsaXN0cyBhbGwgdGhlIHN0ZXBzIChvciB0 YXNrcykgT2FsaSBkb2VzLCBhbG9uZyB3aXRoIGRlc2NyaXB0aW9ucw0KICDi gKIgQWRkZWQgTFZNIHN1cHBvcnQNCiAgICDigKIgV29ya3Mgd2l0aCBhbGwg MyBkaXNrIGxheW91dHMsIGFuZCBlbmNyeXB0aW9uDQogICAg4oCiIFNlZSBb aGVyZV0gZm9yIGRldGFpbHMgb24gYWRkZWQgbG9naWNhbCB2b2x1bWVzDQog IOKAoiBBbnN3ZXIgcmVtZW1iZXJpbmcgb2YgZGlhbG9ndWVzIHdoZW4gYXBw cm9wcmlhdGUNCiAgICDigKIgUmVsYXRpdmVseSBzdGF0aWMgYW5zd2VycyAo ZS5nLiBob3N0bmFtZSwgd2hldGhlciB0byB1c2UNCiAgICAgIGVuY3J5cHRp b24sIExWTSkgYXJlIHN0b3JlZCBpbiBgb2FsaV9hbnN3ZXJzJyBkaXJlY3Rv cnksIHdpdGggYQ0KICAgICAgSlNPTiBmaWxlIGZvciBlYWNoIHRhc2sNCiAg ICDigKIgVGhlICJhbnN3ZXIgc3RvcmUiIGNhbiBiZSB1c2VkIGluIG5ldyBz ZXNzaW9uIG9mIE9hbGkuIFRoZSBvbGQNCiAgICAgIGFuc3dlciBzdG9yZSBp cyB3aXBlZCBhY2NvcmRpbmdseSBpZiB1c2VyIGNoYW5nZXMgdGhlaXIgYW5z d2VyLg0KICDigKIgQWRkZWQgU1NIIHNlcnZlciBzZXR1cCBhbmQgcHVibGlj IGtleSB0cmFuc2ZlciBjb2RlIChwb3J0ZWQgZnJvbSBvbGQNCiAgICBzZXJ2 ZXIgYmFzaCBzY3JpcHQpDQogICAg4oCiIFNlZSBbaGVyZV0gZm9yIGRldGFp bHMNCiAgICDigKIgTWFpbmx5IHVzZWZ1bCBmb3Igd2hlbiB5b3UgaGF2ZSAo dmlydHVhbCkgY29uc29sZSBhY2Nlc3MgdG8gbGl2ZQ0KICAgICAgQ0QvT2Fs aSBpbnN0YWxsIHNjcmVlbiwgYW5kIHdhbnQgdG8gYWRkIG5lZWRlZCBwdWJs aWMga2V5IHRvIHRoZQ0KICAgICAgdXNlcidzIGAuc3NoL2F1dGhvcml6ZWRf a2V5cycgdmlhIG5ldHdvcmsgaW5zdGVhZCBvZiBsb2FkaW5nIGZyb20NCiAg ICAgIHBoeXNpY2FsIG1lZGl1bQ0KDQogIEkndmUgdXNlZCBPYWxpIHRvIGlu c3RhbGwgaW4gdmFyaW91cyBjb25maWd1cmF0aW9ucyBpbiBwYXN0IGNvdXBs ZSBvZg0KICBkYXlzLCBhbmQgaGF2ZSB5ZXQgdG8gbm90aWNlIG1ham9yIGRl ZmVjdHMuIFRoYXQgYmVpbmcgc2FpZCwgZXhlcmNpc2UNCiAgY2F1dGlvbiBh cyB5b3Ugd291bGQgZm9yIGluc3RhbGxpbmcgYW4gT1MuDQoNCg0KW3JlcG9d IDxodHRwczovL2dpdGh1Yi5jb20vZGFycmVubGRsL29hbGktcHJvZmlsZXM+ DQoNCltPQUxJX0RPQ10gPGh0dHBzOi8vZ2l0aHViLmNvbS9kYXJyZW5sZGwv b2FsaS9ibG9iL21hc3Rlci9PQUxJX0RPQy5tZD4NCg0KW2hlcmVdDQo8aHR0 cHM6Ly9naXRodWIuY29tL2RhcnJlbmxkbC9vYWxpL2Jsb2IvbWFzdGVyL09B TElfRE9DLm1kIzIwLXNldC11cC1kaXNrPg0KDQpbaGVyZV0NCjxodHRwczov L2dpdGh1Yi5jb20vZGFycmVubGRsL29hbGkvYmxvYi9tYXN0ZXIvT0FMSV9E T0MubWQjNTQtdHJhbnNmZXItc3NoLXB1YmxpYy1rZXlzPg0KDQoNCmJhdHRl cmllcyBiYXR0ZXJpZXMuMi4xMS4wDQrilZDilZDilZDilZDilZDilZDilZDi lZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDilZDi lZDilZDilZDilZANCg0KICBBcmNoaXZlOg0KICA8aHR0cHM6Ly9kaXNjdXNz Lm9jYW1sLm9yZy90L2Fubi1iYXR0ZXJpZXMtYmF0dGVyaWVzLTItMTEtMC80 ODcxLzE+DQoNCg0KVW5peEp1bmtpZSBhbm5vdW5jZWQNCuKUgOKUgOKUgOKU gOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKUgOKU gOKUgA0KDQogIFRoZSBsYXRlc3QgMi54IHJlbGVhc2Ugb2YgYmF0dGVyaWVz IGlzIGF2YWlsYWJsZSBpbiBvcGFtLiAgT0NhbWwNCiAgYmF0dGVyaWVzIGlu Y2x1ZGVkIGlzIGEgY29tbXVuaXR5IG1haW50YWluZWQgZXh0ZW5kZWQgc3Rh bmRhcmQNCiAgbGlicmFyeS4NCg0KICA8aHR0cHM6Ly9naXRodWIuY29tL29j YW1sLWJhdHRlcmllcy10ZWFtL2JhdHRlcmllcy1pbmNsdWRlZD4NCg0KICBU aGUgQVBJIGRvY3VtZW50YXRpb24gaXMgaG9zdGVkIGhlcmU6DQogIDxodHRw czovL29jYW1sLWJhdHRlcmllcy10ZWFtLmdpdGh1Yi5pby9iYXR0ZXJpZXMt aW5jbHVkZWQvaGRvYzIvPg0KDQogIEhlcmUgaXMgdGhlIGNoYW5nZWxvZzoN CiAg4pSM4pSA4pSA4pSA4pSADQogIOKUgiB2Mi4xMS4wIChtaW5vciByZWxl YXNlKQ0KICDilIIgDQogIOKUgiBUaGlzIG1pbm9yIHJlbGVhc2UgZml4ZXMg YSBmZXcgYnVncyBvciBpbnRlcmZhY2UgbWlzbWF0Y2ggd2l0aCBPQ2FtbCBz dGRsaWIsDQogIOKUgiBhbmQgaXMgY29tcGF0aWJsZSB3aXRoIEJFUiBNZXRh T0NhbWwuDQogIOKUgiANCiAg4pSCIFRoaXMgaXMgdGhlIGxhc3QgcGxhbm5l ZCByZWxlYXNlIG9mIHRoZSB2MiBzZXJpZXMuDQogIOKUgiBOZXh0IHBsYW5u ZWQgcmVsZWFzZSAodjMuMC4wKSB3aWxsIGludHJvZHVjZSBzb21lIEFQSSBj aGFuZ2VzLg0KICDilIIgDQogIOKUgiBOb3RhYmxlIGNoYW5nZXM6DQogIOKU giANCiAg4pSCICAgICBBZGQgVW5peC53aXRoX2xvY2tlZF9maWxlDQogIOKU giAgICAgIzkwNA0KICDilIIgICAgIChTaW1vbiBDcnVhbmVzLCBDZWRyaWMg Q2VsbGllciwgcmV2aWV3IGJ5IEZyYW5jb2lzIEJlcmVuZ2VyKQ0KICDilIIg DQogIOKUgiAgICAgQnVpbGQgd2l0aCAtc3RyaWN0LXNlcXVlbmNlDQogIOKU giAgICAgIzkyNw0KICDilIIgICAgIChBcm1hw6tsIEd1w6luZWF1LCByZXZp ZXcgYnkgRnJhbmNvaXMgQmVyZW5nZXIpDQogIOKUgiANCiAg4pSCICAgICBB ZGQgTGVnYWN5LlJlc3VsdCBmb3IgT0NhbWwgPj0gNC44LjANCiAg4pSCICAg ICAjOTEzDQogIOKUgiAgICAgKENlZHJpYyBDZWxsaWVyLCByZXZpZXcgYnkg RnJhbmNvaXMgQmVyZW5nZXIpDQogIOKUgiANCiAg4pSCICAgICBSZW1vdmUg QmF0T28NCiAg4pSCICAgICAjOTE1DQogIOKUgiAgICAgKENlZHJpYyBDZWxs aWVyLCByZXZpZXcgYnkgRnJhbmNvaXMgQmVyZW5nZXIpDQogIOKUgiANCiAg 4pSCICAgICBBZGQgQmF0RmlsZW5hbWUNCiAg4pSCICAgICAjOTEwDQogIOKU giAgICAgKENlZHJpYyBDZWxsaWVyLCByZXZpZXcgYnkgRnJhbmNvaXMgQmVy ZW5nZXIpDQogIOKUgiANCiAg4pSCICAgICBNYWtlIGJhdHRlcmllcyB1c2Fi bGUgd2l0aCBCRVIgTWV0YU9DYW1sDQogIOKUgiAgICAgIzkwOQ0KICDilIIg ICAgIChDZWRyaWMgQ2VsbGllciwgcmV2aWV3IGJ5IEZyYW5jb2lzIEJlcmVu Z2VyIGFuZCBHYWJyaWVsIFNjaGVyZXIpDQogIOKUgiANCiAg4pSCICAgICBV bml4LnNsZWVwZiBpcyBwcm92aWRlZCBhY3Jvc3MgYWxsIE9DYW1sIHZlcnNp b25zOw0KICDilIIgICAgIHByZXZpb3VzbHkgaXQgd2FzIG9ubHkgZm9yIE9D YW1sID49IDQuMDMuMA0KICDilIIgICAgICM5MzANCiAg4pSCICAgICAoRnJh bmNvaXMgQmVyZW5nZXIsIHJldmlldyBieSBDZWRyaWMgQ2VsbGllcikNCiAg 4pSU4pSA4pSA4pSA4pSADQoNCg0KT2xkIENXTg0K4pWQ4pWQ4pWQ4pWQ4pWQ 4pWQ4pWQDQoNCiAgSWYgeW91IGhhcHBlbiB0byBtaXNzIGEgQ1dOLCB5b3Ug Y2FuIFtzZW5kIG1lIGEgbWVzc2FnZV0gYW5kIEknbGwgbWFpbA0KICBpdCB0 byB5b3UsIG9yIGdvIHRha2UgYSBsb29rIGF0IFt0aGUgYXJjaGl2ZV0gb3Ig dGhlIFtSU1MgZmVlZCBvZiB0aGUNCiAgYXJjaGl2ZXNdLg0KDQogIElmIHlv dSBhbHNvIHdpc2ggdG8gcmVjZWl2ZSBpdCBldmVyeSB3ZWVrIGJ5IG1haWws IHlvdSBtYXkgc3Vic2NyaWJlDQogIFtvbmxpbmVdLg0KDQogIFtBbGFuIFNj aG1pdHRdDQoNCg0KW3NlbmQgbWUgYSBtZXNzYWdlXSA8bWFpbHRvOmFsYW4u c2NobWl0dEBwb2x5dGVjaG5pcXVlLm9yZz4NCg0KW3RoZSBhcmNoaXZlXSA8 aHR0cDovL2FsYW4ucGV0aXRlcG9tbWUubmV0L2N3bi8+DQoNCltSU1MgZmVl ZCBvZiB0aGUgYXJjaGl2ZXNdIDxodHRwOi8vYWxhbi5wZXRpdGVwb21tZS5u ZXQvY3duL2N3bi5yc3M+DQoNCltvbmxpbmVdIDxodHRwOi8vbGlzdHMuaWR5 bGwub3JnL2xpc3RpbmZvL2NhbWwtbmV3cy13ZWVrbHkvPg0KDQpbQWxhbiBT Y2htaXR0XSA8aHR0cDovL2FsYW4ucGV0aXRlcG9tbWUubmV0Lz4NCg0K --==-=-= Content-Type: text/html; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable OCaml Weekly News

OCaml Weekly News

Previous Week Up Next Week

Hello

Here is the latest OCaml Weekly News, for the week of December 10 to 17, 20= 19.

Is there a good way to encode linear types in OCaml?

Archive: https://discuss.ocaml.org/t/is-there-a-goo= d-way-to-encode-linear-types-in-ocaml/1292/7

Continuing this old thread, Konstantin Olkhovskiy sai= d

I've stumbled upon a library that implements linear types for OCaml, using = monads, lens and some ppx to make it more lightweight. Might be of interest= : https://github.com/keigoi/= linocaml

Anton Kochkov added

It is the part of even more interesting system - OCaml MPST (Multiparty Session Types) See the slides.

Guillaume Munch-Maccagnoni then said

(The paper linked on that page is dated 2011/2014. In case anyone wonders w= hether the authors have found a time machine in a barn to be able to cite p= apers from 2018, there just seems to be an error in the preparation. It is freshly published, and a PDF with correct d= ates is available here.)

Arch Linux installer written in OCaml

Archive: https://discuss.ocaml.org/t/arch-linux-installer-writte= n-in-ocaml/4388/12

Darren announced

I'm doing a short update here as Oali has seen some significant changes. Th= is update is also the last one here to avoid being too annoying, and also s= ince I won't be add too much new stuff to Oali in foreseeable future.

Major changes since last time

  • SaltStack files and script files (or profiles) now live in a separate <= a href=3D"https://github.com/darrenldl/oali-profiles">repo
    • Oali accepts custom profile repo URL to facilitate using your own SaltS= tack files without forking Oali itself
  • Semi self-documentation
    • Added mechanism to facilitate inline documentation inside oali.ml= itself
    • The generated markdown doc is stored as OALI_DOC in repo, it lists all t= he steps (or tasks) Oali does, along with descriptions
  • Added LVM support
    • Works with all 3 disk layouts, and encryption
    • See here for details on added logical volumes
  • Answer remembering of dialogues when appropriate
    • Relatively static answers (e.g. hostname, whether to use encryption, LV= M) are stored in oali_answers directory, with a JSON file for = each task
    • The "answer store" can be used in new session of Oali. The old answer s= tore is wiped accordingly if user changes their answer.
  • Added SSH server setup and public key transfer code (ported from old se= rver bash script)
    • See here for details
    • Mainly useful for when you have (virtual) console access to live CD/Oal= i install screen, and want to add needed public key to the user's .ss= h/authorized_keys via network instead of loading from physical mediu= m

I've used Oali to install in various configurations in past couple of days,= and have yet to notice major defects. That being said, exercise caution as= you would for installing an OS.

batteries batteries.2.11.0

Archive: https://discuss.ocaml.org/t/ann-batteries-batteries-2-11-0/4871= /1

UnixJunkie announced

The latest 2.x release of batteries is available in opam. OCaml batteries included is a community maintained extended standard librar= y.

http= s://github.com/ocaml-batteries-team/batteries-included

The API documentation is hosted here: https://ocaml-batteries-team.github.io/batteries-included/hdoc2/

Here is the changelog: 

v2.11.0 (minor release)

This minor release fixes a few bugs or interface mismatch with OCaml stdlib,
and is compatible with BER MetaOCaml.

This is the last planned release of the v2 series.
Next planned release (v3.0.0) will introduce some API changes.

Notable changes:

    Add Unix.with_locked_file
    #904
    (Simon Cruanes, Cedric Cellier, review by Francois Berenger)

    Build with -strict-sequence
    #927
    (Arma=C3=ABl Gu=C3=A9neau, review by Francois Berenger)

    Add Legacy.Result for OCaml >=3D 4.8.0
    #913
    (Cedric Cellier, review by Francois Berenger)

    Remove BatOo
    #915
    (Cedric Cellier, review by Francois Berenger)

    Add BatFilename
    #910
    (Cedric Cellier, review by Francois Berenger)

    Make batteries usable with BER MetaOCaml
    #909
    (Cedric Cellier, review by Francois Berenger and Gabriel Scherer)

    Unix.sleepf is provided across all OCaml versions;
    previously it was only for OCaml >=3D 4.03.0
    #930
    (Francois Berenger, review by Cedric Cellier)

Old CWN

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a loo= k at the archive or the RSS feed of the archives<= /a>.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt

--==-=-=-- --=-=-=-- --===-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEE6lXof/BsSVW56ZmGBA0KO07S5ccFAl34lzsACgkQBA0KO07S 5cekYAf+L6G2J/gXXxJz/+8ZL58php7a2DXXAUC17PewMnaz/hPATBxe+JaMy1Xh D7GEuECgLqsIQv6Jm43oNk7ba7O0l2ER1Wy6sIdhR/MnQ+uBJHsgeFSPT0w6x5fQ dmSZtThfEVVAYlx22ckhBzYxvoBkKYtBm9SBxtSIy5JvY4QYfUU72C6O8p4jJWOW JsIbrtgYuCbylprNGuTt5KVs2ABBOgiInZHqx5qfbHl4GsP4MHzjO9qyoILvNvTz WZ/2pPFDljaKbWEbaOrBZ88bIdUrt6wYn9dmamGVsSr+XrhPLhYy/rVBnoNra0e0 lj0EUH5Jop8X9L62bIIxDfpB/Srk1g== =Nn/M -----END PGP SIGNATURE----- --===-=-=--