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, 04 May 2021 10:57:31 +0200
Message-ID: <87bl9qvptw.fsf@m4x.org> (raw)

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

Hello

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

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

Ocaml-solidity, a new OCaml library for Solidity
Release of ocaml-pandoc 0.1.0
Stdlib vs Containers vs Batteries vs Base : Core functions comparison
Martin Jambon presentation on Semgrep, Wed April 21 @ 7pm Central
ocaml-lsp-server 1.6.0
Other OCaml News
Old CWN


Ocaml-solidity, a new OCaml library for Solidity
════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-ocaml-solidity-a-new-ocaml-library-for-solidity/7746/2>


Continuing the thread from last week, Fabrice Le Fessant announced
──────────────────────────────────────────────────────────────────

  I should add that the project is now available in the opam-repository,
  see [solidity-parser] and [solidity-typechecker].


[solidity-parser] <https://opam.ocaml.org/packages/solidity-parser/>

[solidity-typechecker]
<https://opam.ocaml.org/packages/solidity-typechecker/>


Release of ocaml-pandoc 0.1.0
═════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-release-of-ocaml-pandoc-0-1-0/7759/1>


Samuel Mimram announced
───────────────────────

  I have just released [ocaml-pandoc], a native OCaml library to write
  filters for [pandoc], 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).

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


[ocaml-pandoc] <https://github.com/smimram/ocaml-pandoc>

[pandoc] <https://pandoc.org/>


Stdlib vs Containers vs Batteries vs Base : Core functions comparison
═════════════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/stdlib-vs-containers-vs-batteries-vs-base-core-functions-comparison/7766/1>


Jp R announced
──────────────

  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 ?

  Check it out !

  <https://github.com/Fourchaux/ocaml-stdlib-containers-batteries-base-comparisons>


Vladimir Keleshev then added
────────────────────────────

  Someone reading this might be also interested in my (less formal)
  comparison between OCaml Stdlib and Base:
  <https://gist.github.com/keleshev/764edad011a6a7a40da11716b19ddb75>


Martin Jambon presentation on Semgrep, Wed April 21 @ 7pm Central
═════════════════════════════════════════════════════════════════

  Archive:
  <https://discuss.ocaml.org/t/martin-jambon-presentation-on-semgrep-wed-april-21-7pm-central/7709/5>


Claude Jager-Rubinson announced
───────────────────────────────

  The recording of Martin's talk is now available:
  <https://hfpug.org/2021/05/01/martin-jambon-9-languages-how-we-built-semgrep-a-polyglot-static-analysis-tool/>


Martin Jambon then added
────────────────────────

  Thanks Claude! The talk [starts at 1:45].


[starts at 1:45] <https://www.youtube.com/watch?v=H6TgK-LMA4Y&t=105s>


Ryan Slade then said
────────────────────

  [Comby] may also be of interest, it's a similar project also written
  in OCaml.


[Comby] <https://comby.dev/>


ocaml-lsp-server 1.6.0
══════════════════════

  Archive:
  <https://discuss.ocaml.org/t/ann-ocaml-lsp-server-1-6-0/7774/1>


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

  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.


1.6.0 (04/30/2020)
╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌

Features
┄┄┄┄┄┄┄┄

  • Code action to annotate a value with its type (#397)


Fixes
┄┄┄┄┄

  • Fix interface/implementation switching on Windows (#427)

  • Correctly parse project paths with spaces and other special
    characters that must be escaped.

  • Print types with `-short-paths' even if the project wasn't built yet


Other OCaml News
════════════════

From the ocamlcore planet blog
──────────────────────────────

  Here are links from many OCaml blogs aggregated at [OCaml Planet].

  • [Cryptography updates in OCaml and MirageOS]


[OCaml Planet] <http://ocaml.org/community/planet/>

[Cryptography updates in OCaml and MirageOS]
<https://hannes.nqsb.io/Posts/EC>


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: 17101 bytes --]

         reply index

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

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=87bl9qvptw.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