caml-list - the Caml user's mailing list
 help / Atom feed
From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "lwn" <lwn@lwn.net>, "cwn"  <cwn@lists.idyll.org>, caml-list@inria.fr
Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News
Date: Tue, 17 Dec 2019 09:52:10 +0100
Message-ID: <87fthjwczp.fsf@polytechnique.org> (raw)

[-- Attachment #1.1.1: Type: text/plain, Size: 6972 bytes --]

Hello

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

Table of Contents
─────────────────

Is there a good way to encode linear types in OCaml?
Arch Linux installer written in OCaml
batteries batteries.2.11.0
Old CWN


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

  Archive:
  <https://discuss.ocaml.org/t/is-there-a-good-way-to-encode-linear-types-in-ocaml/1292/7>


Continuing this old thread, Konstantin Olkhovskiy said
──────────────────────────────────────────────────────

  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].


[OCaml MPST] <https://github.com/keigoi/ocaml-mpst>

[slides]
<https://www.slideshare.net/keigoi/ocamlmpst-global-protocol-combinators-175519214>


Guillaume Munch-Maccagnoni then said
────────────────────────────────────

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


[here]
<https://www.jstage.jst.go.jp/article/ipsjjip/27/0/27_431/_article>


Arch Linux installer written in OCaml
═════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/arch-linux-installer-written-in-ocaml/4388/12>


Darren announced
────────────────

  I'm doing a short update here as Oali has seen some significant
  changes. This update is also the last one here to avoid being too
  annoying, and also since 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 [repo]
    • Oali accepts custom profile repo URL to facilitate using your own
      SaltStack 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 the 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, LVM) 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 store is wiped accordingly if user changes their answer.
  • Added SSH server setup and public key transfer code (ported from old
    server bash script)
    • See [here] for details
    • Mainly useful for when you have (virtual) console access to live
      CD/Oali install screen, and want to add needed public key to the
      user's `.ssh/authorized_keys' via network instead of loading from
      physical medium

  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.


[repo] <https://github.com/darrenldl/oali-profiles>

[OALI_DOC] <https://github.com/darrenldl/oali/blob/master/OALI_DOC.md>

[here]
<https://github.com/darrenldl/oali/blob/master/OALI_DOC.md#20-set-up-disk>

[here]
<https://github.com/darrenldl/oali/blob/master/OALI_DOC.md#54-transfer-ssh-public-keys>


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
  library.

  <https://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ël Guéneau, review by Francois Berenger)
  │ 
  │     Add Legacy.Result for OCaml >= 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 >= 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 look at [the archive] or the [RSS feed of the
  archives].

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

  [Alan Schmitt]


[send me a message] <mailto:alan.schmitt@polytechnique.org>

[the archive] <http://alan.petitepomme.net/cwn/>

[RSS feed of the archives] <http://alan.petitepomme.net/cwn/cwn.rss>

[online] <http://lists.idyll.org/listinfo/caml-news-weekly/>

[Alan Schmitt] <http://alan.petitepomme.net/>


[-- Attachment #1.1.2: Type: text/html, Size: 18093 bytes --]

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

         reply index

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-09-03  7:35 Alan Schmitt
2019-10-15  7:28 Alan Schmitt
2019-11-05  6:55 Alan Schmitt
2019-11-12 13:21 Alan Schmitt
2019-11-26  8:33 Alan Schmitt
2019-12-03 15:43 Alan Schmitt
2019-12-10  8:21 Alan Schmitt
2019-12-17  8:52 Alan Schmitt [this message]
2019-12-31  9:18 Alan Schmitt
2020-01-07 13:43 Alan Schmitt
2020-01-14 14:17 Alan Schmitt
2020-01-21 14:09 Alan Schmitt
2020-01-28 10:54 Alan Schmitt
2020-02-04  8:47 Alan Schmitt
2020-02-18  8:18 Alan Schmitt
2020-02-25  8:51 Alan Schmitt

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87fthjwczp.fsf@polytechnique.org \
    --to=alan.schmitt@polytechnique.org \
    --cc=caml-list@inria.fr \
    --cc=cwn@lists.idyll.org \
    --cc=lwn@lwn.net \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox