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, 24 May 2022 10:04:03 +0200
Message-ID: <87pmk3l5l8.fsf@m4x.org> (raw)

[-- Attachment #1: Type: text/plain, Size: 12892 bytes --]

Hello

Here is the latest OCaml Weekly News, for the week of May 17 to 24,
2022.

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

ML Family Workshop 2022: Final Call for Presentations
Dune 3.2.0
Hardcaml MIPS CPU Learning Project and Blog
A tutorial on parallel programming in OCaml 5
Old CWN


ML Family Workshop 2022: Final Call for Presentations
═════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ml-family-workshop-2022-final-call-for-presentations/9877/1>


Benoit Montagu announced
────────────────────────

  We are happy to invite submissions to the *ML Family Workshop 2022*,
  to be held during the ICFP conference week on Thursday, September
  15th.

  The ML family workshop warmly welcomes submission touching on the
  programming languages traditionally seen as part of the “ML family”
  (Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, etc.).
  The scope of the workshop includes all aspects of the design,
  semantics, theory, application, implementation, and teaching of the
  members of the ML family. We also encourage presentations from related
  languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*,
  Eff, ATS, etc), to exchange experience of further developing ML ideas.

  The workshop does not have proceedings, making it the perfect venue to
  run some ideas with the community or present some work in progress
  within a friendly environment. The PC has a broad expertise and
  submissions are 3 pages long: when in doubt, just submit!

  Currently, the workshop is scheduled to be an in-person event. We will
  give to the authors of accepted abstracts the opportunity to give
  their talks remotely if necessary, in case they could not travel.

  See the detailed CFP online on the ICFP website:
  <https://icfp22.sigplan.org/home/mlfamilyworkshop-2022#Call-for-Presentations>


Important dates
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Friday 3th June (any time zone): Abstract submission deadline
  • Tuesday 28th June: Author notification
  • Thursday 15th August: ML Family Workshop


Program committee
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Kenichi Asai (Ochanomizu University)
  • Arthur Azevedo de Amorim (Boston University)
  • Dariusz Biernacki (University of Wrocław)
  • Stephen Dolan (Jane Street)
  • Kavon Farvardin (Apple)
  • Armaël Guéneau (Inria)
  • Sam Lindley (University of Edinburgh)
  • Guido Martínez (CIFASIS-CONICET)
  • Keiko Nakata (SAP Innovation Center Potsdam)
  • Lionel Parreaux (Hong Kong University of Science and Technology)
  • Matija Pretnar (University of Ljubljana)
  • Mike Rainey (Carnegie Mellon University)
  • Yann Régis-Gianas (Nomadic Labs)
  • KC Sivaramakrishnan (IIT Madras and Tarides)
  • Ningning Xie (University of Cambridge)

  Chair: Benoît Montagu (Inria)


Submission details
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  See the online CFP for the details on the expected submission format.

  Submissions must be uploaded to the workshop submission website
  <https://ml2022.hotcrp.com/> before the submission deadline.


Dune 3.2.0
══════════

  Archive: <https://discuss.ocaml.org/t/ann-dune-3-2-0/9892/1>


Rudi Grinberg announced
───────────────────────

  On behalf of the dune team, I'm pleased to announce the availability
  of version 3.2.0. This release contains few new features, but is
  packed with bug fixes and usability improvements. In particular, I'd
  like to point out that we've continued to improve the user experience
  with the watch mode. I encourage you all to try it out if you haven't
  already.

  Happy Hacking.


3.2.0 (17-05-2022)
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Fixed `dune describe workspace --with-deps' so that it correctly
    handles Reason files, as well as files any other dialect. (#5701,
    @esope)

  • Disable alerts when compiling code in vendored directories (#5683,
    @NathanReb)

  • Fixed `dune describe --with-deps', that crashed when some
    preprocessing was required in a dune file using `per_module'.
    (#5682, fixes #5680, @esope)

  • Add `$ dune describe pp' to print the preprocssed ast of
    sources. (#5615, fixes #4470, @cannorin)

  • Report dune file evaluation errors concurrently. In the same way we
    report build errors. (#5655, @rgrinberg)

  • Watch mode now default to clearing the terminal on rebuild (#5636,
    fixes, #5216, @rgrinberg)

  • The output of jobs that finished but were cancelled is now
    omitted. (#5631, fixes #5482, @rgrinberg)

  • Allows to configure all the default destination directories with
    `./configure' (adds `bin', `sbin', `data', `libexec'). Use
    `OPAM_SWITCH_PREFIX' instead of calling the `opam' binaries in `dune
    install'. Fix handling of multiple `libdir' in `./configure' for
    handling `/usr/lib/ocaml/' and `/usr/local/lib/ocaml'. In `dune
    install' forbid relative directories in `libdir', `docdir' and
    others specific directory setting because their handling was
    inconsistent (#5516, fixes #3978 and #5455, @bobot)

  • `--terminal-persistence=clear-on-rebuild' will no longer destroy
    scrollback on some terminals (#5646, @rgrinberg)

  • Add a fmt command as a shortcut of `dune build @fmt --auto-promote'
    (#5574, @tmattio)

  • Watch mode now tracks copied external files, external directories
    for dependencies, dune files in OCaml syntax, files used by
    `include' stanzas, dune-project, opam files, libraries builtin with
    compiler, and foreign sources (#5627, #5645, #5652, #5656, #5672,
    #5691, #5722, fixes #5331, @rgrinberg)

  • Improve metrics for cram tests. Include test names in the event and
    add a category for cram tests (#5626, @rgrinberg)

  • Allow specifying multiple licenses in project file (#5579, fixes
    #5574, @liyishuai)

  • Match `glob_files' only against files in external directories
    (#5614, fixes #5540, @rgrinberg)

  • Add pid's to chrome trace output (#5617, @rgrinberg)

  • Fix race when creating local cache directory (#5613, fixes #5461,
    @rgrinberg)

  • Add `not' to boolean expressions (#5610, fix #5503, @rgrinberg)

  • Fix relative dependencies outside the workspace (#4035, fixes #5572,
    @bobot)

  • Allow to specify `--prefix' via the environment variable
    `DUNE_INSTALL_PREFIX' (#5589, @vapourismo)

  • Dune-site.plugin: add support for `archive(native|byte, plugin)'
    used in the wild before findlib documented `plugin(native|byte)' in
    2015 (#5518, @bobot)

  • Fix a bug where Dune would not correctly interpret `META' files in
    alternative layout (ie when the META file is named `META.$pkg'). The
    `Llvm' bindings were affected by this issue. (#5619, fixes #5616,
    @nojb)

  • Support `(binaries)' in `(env)' in dune-workspace files (#5560, fix
    #5555, @emillon)

  • (mdx) stanza: add support for (locks). (#5628, fixes #5489,
    @emillon)

  • (mdx) stanza: support including files in different directories using
    relative paths, and provide better error messages when paths are
    invalid (#5703, #5704, fixes #5596, @emillon)

  • Fix ctypes rules for external lib names which aren't valid ocaml
    names (#5667, fixes #5511, @Khady)


Hardcaml MIPS CPU Learning Project and Blog
═══════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/hardcaml-mips-cpu-learning-project-and-blog/8088/12>


Alexander (Sasha) Skvortsov announced
─────────────────────────────────────

  Hi everyone! Last fall, we completed our original plan for this
  project, rewriting the verilog MIPS CPU we had designed for a class
  into Hardcaml. A few weeks later, we got an invite to video-meet with
  the Hardcaml team to talk about our experience. They even sent us
  actual Arty A-7 FPGAs so we could test out our simulation on real
  hardware!

  Junior year ended up much busier than expected, and although we had
  gotten our code onto the FPGAs by January, we’ve only just now fully
  finished our project. Our blog now has 2 bonus installments:

  1. [Running Hardcaml on an actual FPGA]. Here, we lit up LEDs to
     display the output of a hardcoded program.
  2. [Hardcaml MIPS and I/O]. Here, we restructured our CPU so that
     programs can communicate with an external device using UART.

  With these changes, our full design is now a simplified but realistic
  processor that can run meaningful programs.

  Thank you very much to @andyman, @fyquah95, Ben Devlin, and the rest
  of the Jane Street FPGA team for creating Hardcaml, meeting with us,
  and answering our numerous questions throughout this process. Thank
  you also to @yaron_minsky and Jane Street for sending us the FPGAs to
  try out our code.

  This has been an incredibly interesting, challenging, and rewarding
  journey. We hope that our blog posts and sample project are useful for
  learning Hardcaml in the future, and welcome any questions or
  comments.


[Running Hardcaml on an actual FPGA]
<https://ceramichacker.com/blog/27-1312-running-hardcaml-on-an-actual-fpga>

[Hardcaml MIPS and I/O]
<https://ceramichacker.com/blog/34-1412-hardcaml-mips-and-io>


A tutorial on parallel programming in OCaml 5
═════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/a-tutorial-on-parallel-programming-in-ocaml-5/9896/1>


KC Sivaramakrishnan announced
─────────────────────────────

  I ran a hands-on tutorial on the new parallel programming primitives
  in the upcoming OCaml 5 at the Tarides off-site last week. It covers
  the low-level parallelism primitives exposed by the OCaml 5 compiler
  as well as high-level parallel programming using `domainslib'. I hope
  you like it and find it useful. Please feel free to open issues if you
  find anything amiss.

  <https://github.com/kayceesrk/ocaml5-tutorial>


Alain De Vos asked and Olivier Nicole replied
─────────────────────────────────────────────

        As it is not immediately clear for me, does it uses
        threads , green threads, processes , fibers ? And who is
        responsible for the scheduling ,the Ocaml application or
        the underlying operating system ?

  Each domain corresponds to one system thread. The scheduling between
  them is therefore performed by the operating system.

  The tutorial only covers domains, which are the way to perform
  /parallelism/ in OCaml 5. To use /concurrency/ (e.g.  having several
  IO-depending operations that run concurrently on the same core), the
  main mechanism is effects (which at the level of the runtime system,
  are implemented using small stack segments called fibers), as in the
  [eio library]. Effects allow such libraries to provide a form a
  lightweight threads (aka green threads) whose scheduling is
  implemented in the OCaml application using effect mechanisms.


[eio library]
<https://github.com/ocaml-multicore/eio#design-note-capabilities>


UnixJunkie then said
────────────────────

  Here is a very simple tutorial on parallel programming in OCaml: use
  parany !  <https://github.com/UnixJunkie/parany> For OCaml 5, use the
  right branch of parany:
  <https://github.com/UnixJunkie/parany/tree/domains>

  Happy hacking!


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] <https://alan.petitepomme.net/cwn/>

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

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

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


[-- Attachment #2: Type: text/html, Size: 23627 bytes --]

         reply index

Thread overview: 108+ 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
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
2020-03-03  8:00 Alan Schmitt
2020-03-10 14:29 Alan Schmitt
2020-03-17 11:04 Alan Schmitt
2020-03-24  9:31 Alan Schmitt
2020-03-31  9:55 Alan Schmitt
2020-04-07  7:51 Alan Schmitt
2020-04-14  7:28 Alan Schmitt
2020-04-21  8:58 Alan Schmitt
2020-04-28 12:45 Alan Schmitt
2020-05-05  7:45 Alan Schmitt
2020-05-12  7:46 Alan Schmitt
2020-05-19  9:53 Alan Schmitt
2020-06-09  8:29 Alan Schmitt
2020-06-16  8:36 Alan Schmitt
2020-06-30  7:00 Alan Schmitt
2020-07-07 10:05 Alan Schmitt
2020-07-14  9:55 Alan Schmitt
2020-07-21 14:43 Alan Schmitt
2020-07-28 16:58 Alan Schmitt
2020-08-18  7:26 Alan Schmitt
2020-09-01  7:55 Alan Schmitt
2020-09-08 13:11 Alan Schmitt
2020-09-22  7:27 Alan Schmitt
2020-09-29  7:02 Alan Schmitt
2020-10-06  7:22 Alan Schmitt
2020-10-20  8:16 Alan Schmitt
2020-10-27  8:44 Alan Schmitt
2020-11-03 15:16 Alan Schmitt
2020-12-01  8:55 Alan Schmitt
2020-12-15  9:51 Alan Schmitt
2020-12-22  8:49 Alan Schmitt
2020-12-29 10:00 Alan Schmitt
2021-01-05 11:22 Alan Schmitt
2021-01-12  9:47 Alan Schmitt
2021-01-19 14:28 Alan Schmitt
2021-01-26 13:25 Alan Schmitt
2021-02-02 13:56 Alan Schmitt
2021-02-16 13:53 Alan Schmitt
2021-02-23  9:52 Alan Schmitt
2021-03-09 10:59 Alan Schmitt
2021-03-16 10:32 Alan Schmitt
2021-03-23  9:05 Alan Schmitt
2021-03-30 14:56 Alan Schmitt
2021-04-06  9:42 Alan Schmitt
2021-04-20  9:07 Alan Schmitt
2021-04-27 14:26 Alan Schmitt
2021-05-04  8:58 Alan Schmitt
2021-05-11 14:48 Alan Schmitt
2021-05-25  7:30 Alan Schmitt
2021-06-01  9:23 Alan Schmitt
2021-06-22  9:05 Alan Schmitt
2021-06-29 12:24 Alan Schmitt
2021-07-06 12:34 Alan Schmitt
2021-07-20 12:59 Alan Schmitt
2021-07-27  8:54 Alan Schmitt
2021-08-10 16:47 Alan Schmitt
2021-08-17  6:24 Alan Schmitt
2021-08-24 13:44 Alan Schmitt
2021-09-07 13:24 Alan Schmitt
2021-09-21  9:10 Alan Schmitt
2021-09-28  6:37 Alan Schmitt
2021-10-19  8:23 Alan Schmitt
2021-11-02  8:50 Alan Schmitt
2021-11-09 10:08 Alan Schmitt
2021-11-16  8:41 Alan Schmitt
2021-11-30 10:52 Alan Schmitt
2021-12-14 11:02 Alan Schmitt
2021-12-21  9:12 Alan Schmitt
2021-12-28  9:00 Alan Schmitt
2022-01-04  7:56 Alan Schmitt
2022-01-11  8:21 Alan Schmitt
2022-01-25 12:45 Alan Schmitt
2022-02-01 13:07 Alan Schmitt
2022-02-08 13:16 Alan Schmitt
2022-02-22 12:43 Alan Schmitt
2022-03-01 13:54 Alan Schmitt
2022-03-15  9:59 Alan Schmitt
2022-03-22 13:01 Alan Schmitt
2022-03-29  7:43 Alan Schmitt
2022-04-05 11:50 Alan Schmitt
2022-04-12  8:10 Alan Schmitt
2022-04-19  5:35 Alan Schmitt
2022-04-26  6:44 Alan Schmitt
2022-05-03  9:11 Alan Schmitt
2022-05-10 12:31 Alan Schmitt
2022-05-17  7:12 Alan Schmitt
2022-05-24  8:04 Alan Schmitt [this message]
2022-05-31 12:29 Alan Schmitt
2022-06-07 10:16 Alan Schmitt
2022-06-14  9:30 Alan Schmitt
2022-06-21  8:07 Alan Schmitt
2022-06-28  7:37 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=87pmk3l5l8.fsf@m4x.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