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, comp@lists.orbitalfox.eu
Subject: [Caml-list] Attn: Development Editor, Latest OCaml Weekly News
Date: Tue, 25 Feb 2020 09:51:35 +0100
Message-ID: <877e0b6odk.fsf@polytechnique.org> (raw)

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

Hello

Here is the latest OCaml Weekly News, for the week of February 18 to 25,
2020.

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

Dune 2.3.0
What's the OCaml equivalent for HLint?
Training Sessions for "Expert OCaml" in Paris
OCaml 4.10 released
Old CWN


Dune 2.3.0
══════════

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


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

  On behalf of the dune team, I'm proud to announce the 2.3.0 release of
  dune. This release is particularly relevant for users of coq that use
  dune to build their theories, developers of coq that use dune to build
  their favorite theorem prover. I'd like to thank @ejgallego for all
  the hard work to improve dune in this regard.

  I'd also like to point out the `(strict_package_deps)' option that is
  now available in project files. This option will now ask dune to
  validate the package dependencies specified in the `package' stanzas
  in your dune-project files.

  Here's the full change list, and as always, happy hacking!


2.3.0 (15/02/2020)
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

  • Improve validation and error handling of arguments to `dune init'
    (#3103, fixes #3046, @shonfeder)

  • `dune init exec NAME' now uses the `NAME' argument for private
    modules (#3103, fixes #3088, @shonfeder)

  • Avoid linear walk to detect children, this should greatly improve
    performance when a target has a large number of dependencies (#2959,
    @ejgallego, @aalekseyev, @Armael)

  • [coq] Add `(boot)' option to `(coq.theories)' to enable bootstrap of
    Coq's stdlib (#3096, @ejgallego)

  • [coq] Deprecate `public_name' field in favour of `package' (#2087,
    @ejgallego)

  • Better error reporting for "data only" and "vendored" dirs. Using
    these with anything else than a strict subdirectory or `*' will
    raise an error. The previous behavior was to just do nothing (#3056,
    fixes #3019, @voodoos)

  • Fix bootstrap on bytecode only switches on windows or where `-j1' is
    set.  (#3112, @xclerc, @rgrinberg)

  • Allow `enabled_if' fields in `executable(s)' stanzas (#3137, fixes
    #1690 @voodoos)

  • Do not fail if `ocamldep', `ocamlmklib', or `ocaml' are absent. Wait
    for them to be used to fail (#3138, @rgrinberg)

  • Introduce a `strict_package_deps' mode that verifies that
    dependencies between packages in the workspace are specified
    correctly. (@rgrinberg, #3117)

  • Make sure the `@all' alias is defined when no `dune' file is present
    in a directory (#2946, fix #2927, @diml)


What's the OCaml equivalent for HLint?
══════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/whats-the-ocaml-equivalent-for-hlint/5167/3>


Continuing this thread, Stéphane Lavergne said
──────────────────────────────────────────────

  Aside from Mascot and `ppx_js_style', it seems that [ocp-lint] is
  actively maintained by the folks at OcamlPro. I personally only use
  `ocamlformat' so I can't vouch for it, but it seems promising.


[ocp-lint] <https://github.com/OCamlPro/typerex-lint>


Training Sessions for "Expert OCaml" in Paris
═════════════════════════════════════════════

  Archive:
  <https://sympa.inria.fr/sympa/arc/caml-list/2020-02/msg00032.html>


Laurène Gibaud announced
────────────────────────

  OCamlPro organizes a cross-company training in French for developers
  who already use OCaml. The "Expert OCaml" training mixes theory and
  practice and will allow you to master OCaml's advanced features such
  as its type-system, OCaml's open source tools and libraries, and how
  to write compact and efficient code.

  When? The next session is scheduled for March 3-4, 2020, the second
  will be on April 7-8, 2020.

  Where? Paris 14, at our office

  If interested, contact us at contact@ocamlpro.com or register on:
  <http://www.ocamlpro.com/forms/preinscriptions-formation-ocaml/>.  We
  can also organize custom and on-site sessions upon request.

  More info on: <http://www.ocamlpro.com/training-ocamlpro/>


OCaml 4.10 released
═══════════════════

  Archive: <https://discuss.ocaml.org/t/ocaml-4-10-released/5194/1>


octachron announced
───────────────────

  We have the pleasure of celebrating the birthday of Francis Ronalds by
  announcing the release of OCaml version 4.10.0.

  Some of the highlights in this release are:

  • A new best-fit allocator for the major heap which reduces both GC
    cost an memory usage.
  • Some preliminary runtime work for OCaml multicore
  • Immutable strings are now enforced at configuration time
  • User-defined indexing operators for multidimensional arrays
  • Coming soon: statmemprof, a new statistical memory profiler.  The
    external API will be release next version.
  • Various improvements to the manual
  • More precise exhaustiveness check for GADTs
  • Many bug fixes

  Merlin, the OCaml editor service, is not yet available for this
  release.  We will publish a follow-up announcement when Merlin is
  ready.

  This release is (or soon will be) available as a set of OPAM switches,
  and as a source download here:

  <https://caml.inria.fr/pub/distrib/ocaml-4.10/>

  Editor note: please follow the archive link for the full changelog


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 #2: Type: text/html, Size: 18280 bytes --]

         reply index

Thread overview: 35+ 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 [this message]
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

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=877e0b6odk.fsf@polytechnique.org \
    --to=alan.schmitt@polytechnique.org \
    --cc=caml-list@inria.fr \
    --cc=comp@lists.orbitalfox.eu \
    --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