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, 19 Apr 2022 07:34:49 +0200 [thread overview]
Message-ID: <87a6chiqkm.fsf@m4x.org> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 9483 bytes --]
Hello
Here is the latest OCaml Weekly News, for the week of April 12 to 19,
2022.
Table of Contents
─────────────────
Lwt informal user survey
pyml_bindgen: a CLI app to generate Python bindings directly from OCaml value specifications
Creating a library for use from JS with js_of_ocaml
ocaml-lsp-server 1.11.0
OCaml summer school in Spain, call for industry speakers
Dune 3.1.0
Old CWN
Lwt informal user survey
════════════════════════
Archive: <https://discuss.ocaml.org/t/lwt-informal-user-survey/9666/1>
Raphaël Proust announced
────────────────────────
In order to make some decisions relating to the maintenance of Lwt,
I'd like to know a little bit more about how the library is used in
the wild. Do not hesitate to respond to the poll and/or as a message
in this thread, or even to contact me via other means in case discuss
is not your jam.
/Editor’s note: please follow the link above to reply to the survey./
pyml_bindgen: a CLI app to generate Python bindings directly from OCaml value specifications
════════════════════════════════════════════════════════════════════════════════════════════
Archive:
<https://discuss.ocaml.org/t/ann-pyml-bindgen-a-cli-app-to-generate-python-bindings-directly-from-ocaml-value-specifications/8786/7>
Continuing this thread, Ryan Moore announced
────────────────────────────────────────────
I wrote a [blog post] providing an introduction to `pyml_bindgen'. It
gives an intro in a slightly different style as compared to the [docs]
and the [examples], and includes some of the latest features I've been
working on.
[blog post]
<https://www.tenderisthebyte.com/blog/2022/04/12/ocaml-python-bindgen/>
[docs] <https://mooreryan.github.io/ocaml_python_bindgen/>
[examples]
<https://github.com/mooreryan/ocaml_python_bindgen/tree/main/examples>
Creating a library for use from JS with js_of_ocaml
═══════════════════════════════════════════════════
Archive:
<https://discuss.ocaml.org/t/creating-a-library-for-use-from-js-with-js-of-ocaml/9523/5>
Deep in this thread, threepwood said
────────────────────────────────────
Cautionary note for anyone reading this in the future: dynamic imports
are asynchronous, and initializing the jsoo runtime takes some
milliseconds, so that if you just do:
┌────
│ import("ocaml/export.bc.js");
│ var x = mylib.myfunction();
└────
the second line will fail as `mylib' is not defined yet (at least this
is what I think is happening). You need to guarantee the module is
done initializing in some way or other.
Kim Nguyễn then said
────────────────────
`import' should return a promise of the loaded module. So you can just
`await' for it (if your current context allows you to write `await')
or just :
┌────
│ import("ocaml/export.bc.js").then ((_) => {
│
│ mylib.myfunction();
│
│ });
└────
ocaml-lsp-server 1.11.0
═══════════════════════
Archive:
<https://discuss.ocaml.org/t/ann-ocaml-lsp-server-1-11-0/9677/1>
Rudi Grinberg announced
───────────────────────
On behalf of the ocamllsp team, I'm excited to announce the
availability of version 1.11.0. This release is an important milestone
for the project because it introduces integration with our favorite
build system. When you run dune in watch mode, you will now be able to
see build errors in the diagnostics panel of your editor. It's all
rather experimental for now, so your feedback and bug reports are
appreciated.
As usual, the full change log is below.
Happy hacking.
*1.11.0*
Features
╌╌╌╌╌╌╌╌
• Add support for dune in watch mode. The lsp server will now display
build errors in the diagnostics and offer promotion code actions.
• Re-introduce ocamlformat-rpc (#599, fixes #495)
Fixes
╌╌╌╌╌
• Fix workspace symbols that could have a wrong path in some cases
([#675])
[#675] <https://github.com/ocaml/ocaml-lsp/pull/671>
OCaml summer school in Spain, call for industry speakers
════════════════════════════════════════════════════════
Archive:
<https://discuss.ocaml.org/t/ocaml-summer-school-in-spain-call-for-industry-speakers/9685/1>
Roberto Blanco announced
────────────────────────
Dear all, Ricardo Rodríguez and I are organizing an introductory OCaml
course as part of the annual summer school of the University of
Zaragoza in Spain. (This is the oldest summer university in the
country, nearing its centennial anniversary!). The country's computing
programs are quite excellent, although we have found them to generally
not pay serious attention to modern functional programming. Our goal
is to use OCaml to begin to address this dearth.
In addition to the regular academic program we are planning a
satellite event open to the general public. This is meant to introduce
the OCaml ecosystem to a wider audience of students and academics, as
well as professionals. As part of this, we would like to hold a round
table discussion of industrial OCaml users to demonstrate the width
and depth of practical uses of the language. There will be time for
participants to present their work in more detail, if they wish to do
so.
If you may be interested in participating or have any questions, feel
free to write to me here or send email to either of us. The course is
currently in its planning stages; it is scheduled to take place in
early to mid July, in all likelihood in the city of Zaragoza and in
hybrid format. The OCaml Software Foundation is backing the initiative
and we thank them for their generous support.
Updated information about the course will be available on its website:
<https://webdiis.unizar.es/evpf/>
Dune 3.1.0
══════════
Archive: <https://discuss.ocaml.org/t/ann-dune-3-1-0/9690/1>
Rudi Grinberg announced
───────────────────────
On behalf of the dune team, I'm pleased to announce version
3.1.0. This release contains some small, but interesting features, and
some important quality of life bug fixes. I encourage everyone to
upgrade as soon as possible.
Happy Hacking.
*3.1.0 (15/04/2022)*
• Add `sourcehut' as an option for defining project sources in
dune-project files. For example, `(source (sourcehut
user/repo))'. (#5564, @rgrinberg)
• Add `dune coq top' command for running a Coq toplevel (#5457,
@rlepigre)
• Fix dune exec dumping database in wrong directory (#5544, @bobot)
• Always output absolute paths for locations in RPC reported
diagnostics (#5539, @rgrinberg)
• Add `(deps <deps>)' in ctype field (#5346, @bobot)
• Add `(include <file>)' constructor to dependency
specifications. This can be used to introduce dynamic dependencies
(#5442, @anmonteiro)
• Ensure that `dune describe' computes a transitively closed set of
libraries (#5395, @esope)
• Add direct dependencies to $ dune describe output (#5412, @esope)
• Show auto-detected concurrency on Windows too (#5502, @MisterDA)
• Fix operations that remove folders with absolute path. This happens
when using esy (#5507, @EduardoRFS)
• Dune will not fail if some directories are non-empty when
uninstalling. (#5543, fixes #5542, @nojb)
• `coqdep' now depends only on the filesystem layout of the .v files,
and not on their contents (#5547, helps with #5100, @ejgallego)
• The mdx stanza 0.2 can now be used with `(implicit_transitive_deps
false)' (#5558, fixes #5499, @emillon)
• Fix missing parenthesis in printing of corresponding terminal
command for `(with-outputs-to )' (#5551, fixes #5546, @Alizter)
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 #1.2: Type: text/html, Size: 20212 bytes --]
[-- Attachment #2: Type: text/plain, Size: 119 bytes --]
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'INRIA.
next reply other threads:[~2022-04-19 5:35 UTC|newest]
Thread overview: 236+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-04-19 5:34 Alan Schmitt [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-04-15 9:51 Alan Schmitt
2025-04-08 13:14 Alan Schmitt
2025-04-01 9:12 Alan Schmitt
2025-03-25 8:06 Alan Schmitt
2025-03-18 10:18 Alan Schmitt
2025-03-11 15:00 Alan Schmitt
2025-03-04 14:01 Alan Schmitt
2025-02-25 10:36 Alan Schmitt
2025-02-18 14:33 Alan Schmitt
2025-02-11 7:17 Alan Schmitt
2025-02-04 12:05 Alan Schmitt
2025-01-28 13:24 Alan Schmitt
2025-01-21 15:47 Alan Schmitt
2025-01-14 8:20 Alan Schmitt
2025-01-07 17:26 Alan Schmitt
2024-12-31 8:03 Alan Schmitt
2024-12-24 8:55 Alan Schmitt
2024-12-17 13:05 Alan Schmitt
2024-12-10 13:48 Alan Schmitt
2024-12-03 14:44 Alan Schmitt
2024-11-26 8:30 Alan Schmitt
2024-11-19 6:52 Alan Schmitt
2024-11-12 15:00 Alan Schmitt
2024-11-05 13:22 Alan Schmitt
2024-10-29 13:30 Alan Schmitt
2024-10-22 12:42 Alan Schmitt
2024-10-15 13:31 Alan Schmitt
2024-10-08 10:56 Alan Schmitt
2024-10-01 13:37 Alan Schmitt
2024-09-24 13:18 Alan Schmitt
2024-09-17 14:02 Alan Schmitt
2024-09-10 13:55 Alan Schmitt
2024-09-03 8:24 Alan Schmitt
2024-08-27 9:02 Alan Schmitt
2024-08-20 9:29 Alan Schmitt
2024-08-13 13:21 Alan Schmitt
2024-08-06 9:00 Alan Schmitt
2024-07-30 13:26 Alan Schmitt
2024-07-23 13:30 Alan Schmitt
2024-07-16 6:24 Alan Schmitt
2024-07-09 9:19 Alan Schmitt
2024-07-02 7:30 Alan Schmitt
2024-06-25 13:58 Alan Schmitt
2024-06-18 13:05 Alan Schmitt
2024-06-11 15:04 Alan Schmitt
2024-06-04 13:26 Alan Schmitt
2024-05-28 9:07 Alan Schmitt
2024-05-21 13:07 Alan Schmitt
2024-05-14 13:25 Alan Schmitt
2024-05-07 7:30 Alan Schmitt
2024-04-30 7:22 Alan Schmitt
2024-04-23 12:17 Alan Schmitt
2024-04-16 12:00 Alan Schmitt
2024-04-09 9:15 Alan Schmitt
2024-04-02 14:31 Alan Schmitt
2024-03-26 6:32 Alan Schmitt
2024-03-19 15:09 Alan Schmitt
2024-03-12 10:31 Alan Schmitt
2024-03-05 14:50 Alan Schmitt
2024-02-27 13:53 Alan Schmitt
2024-02-20 9:12 Alan Schmitt
2024-02-13 8:42 Alan Schmitt
2024-02-06 15:14 Alan Schmitt
2024-01-30 14:16 Alan Schmitt
2024-01-23 9:45 Alan Schmitt
2024-01-16 10:01 Alan Schmitt
2024-01-09 13:40 Alan Schmitt
2024-01-02 8:59 Alan Schmitt
2023-12-26 10:12 Alan Schmitt
2023-12-19 10:10 Alan Schmitt
2023-12-12 10:20 Alan Schmitt
2023-12-05 10:13 Alan Schmitt
2023-11-28 9:09 Alan Schmitt
2023-11-21 7:47 Alan Schmitt
2023-11-14 13:42 Alan Schmitt
2023-11-07 10:31 Alan Schmitt
2023-10-31 10:43 Alan Schmitt
2023-10-24 9:17 Alan Schmitt
2023-10-17 7:46 Alan Schmitt
2023-10-10 7:48 Alan Schmitt
2023-10-03 13:00 Alan Schmitt
2023-09-19 8:54 Alan Schmitt
2023-09-12 13:21 Alan Schmitt
2023-09-05 9:00 Alan Schmitt
2023-08-29 13:04 Alan Schmitt
2023-08-22 9:20 Alan Schmitt
2023-08-15 16:33 Alan Schmitt
2023-08-08 8:53 Alan Schmitt
2023-08-01 7:13 Alan Schmitt
2023-07-25 8:45 Alan Schmitt
2023-07-11 8:45 Alan Schmitt
2023-07-04 9:18 Alan Schmitt
2023-06-27 8:38 Alan Schmitt
2023-06-20 9:52 Alan Schmitt
2023-06-13 7:09 Alan Schmitt
2023-06-06 14:22 Alan Schmitt
2023-05-30 15:43 Alan Schmitt
2023-05-23 9:41 Alan Schmitt
2023-05-16 13:05 Alan Schmitt
2023-05-09 11:49 Alan Schmitt
2023-05-02 8:01 Alan Schmitt
2023-04-25 9:25 Alan Schmitt
2023-04-18 8:50 Alan Schmitt
2023-04-11 12:41 Alan Schmitt
2023-04-04 8:45 Alan Schmitt
2023-03-28 7:21 Alan Schmitt
2023-03-21 10:07 Alan Schmitt
2023-03-14 9:52 Alan Schmitt
2023-03-07 9:02 Alan Schmitt
2023-02-28 14:38 Alan Schmitt
2023-02-21 10:19 Alan Schmitt
2023-02-14 8:12 Alan Schmitt
2023-02-07 8:16 Alan Schmitt
2023-01-31 6:44 Alan Schmitt
2023-01-24 8:57 Alan Schmitt
2023-01-17 8:37 Alan Schmitt
2022-11-29 14:53 Alan Schmitt
2022-09-27 7:17 Alan Schmitt
2022-09-20 14:01 Alan Schmitt
2022-09-13 8:40 Alan Schmitt
2022-08-23 8:06 Alan Schmitt
2022-08-16 8:51 Alan Schmitt
2022-08-09 8:02 Alan Schmitt
2022-08-02 9:51 Alan Schmitt
2022-07-26 17:54 Alan Schmitt
2022-07-19 8:58 Alan Schmitt
2022-07-12 7:59 Alan Schmitt
2022-07-05 7:42 Alan Schmitt
2022-06-28 7:37 Alan Schmitt
2022-06-21 8:06 Alan Schmitt
2022-06-14 9:29 Alan Schmitt
2022-06-07 10:15 Alan Schmitt
2022-05-31 12:29 Alan Schmitt
2022-05-24 8:04 Alan Schmitt
2022-05-17 7:12 Alan Schmitt
2022-05-10 12:30 Alan Schmitt
2022-05-03 9:11 Alan Schmitt
2022-04-26 6:44 Alan Schmitt
2022-04-12 8:10 Alan Schmitt
2022-04-05 11:50 Alan Schmitt
2022-03-29 7:42 Alan Schmitt
2022-03-22 13:01 Alan Schmitt
2022-03-15 9:59 Alan Schmitt
2022-03-01 13:54 Alan Schmitt
2022-02-22 12:43 Alan Schmitt
2022-02-08 13:16 Alan Schmitt
2022-02-01 13:00 Alan Schmitt
2022-01-25 12:44 Alan Schmitt
2022-01-11 8:20 Alan Schmitt
2022-01-04 7:56 Alan Schmitt
2021-12-28 8:59 Alan Schmitt
2021-12-21 9:11 Alan Schmitt
2021-12-14 11:02 Alan Schmitt
2021-11-30 10:51 Alan Schmitt
2021-11-16 8:41 Alan Schmitt
2021-11-09 10:08 Alan Schmitt
2021-11-02 8:50 Alan Schmitt
2021-10-19 8:23 Alan Schmitt
2021-09-28 6:37 Alan Schmitt
2021-09-21 9:09 Alan Schmitt
2021-09-07 13:23 Alan Schmitt
2021-08-24 13:44 Alan Schmitt
2021-08-17 6:24 Alan Schmitt
2021-08-10 16:47 Alan Schmitt
2021-07-27 8:54 Alan Schmitt
2021-07-20 12:58 Alan Schmitt
2021-07-06 12:33 Alan Schmitt
2021-06-29 12:24 Alan Schmitt
2021-06-22 9:04 Alan Schmitt
2021-06-01 9:23 Alan Schmitt
2021-05-25 7:30 Alan Schmitt
2021-05-11 14:47 Alan Schmitt
2021-05-04 8:57 Alan Schmitt
2021-04-27 14:26 Alan Schmitt
2021-04-20 9:07 Alan Schmitt
2021-04-06 9:42 Alan Schmitt
2021-03-30 14:55 Alan Schmitt
2021-03-23 9:05 Alan Schmitt
2021-03-16 10:31 Alan Schmitt
2021-03-09 10:58 Alan Schmitt
2021-02-23 9:51 Alan Schmitt
2021-02-16 13:53 Alan Schmitt
2021-02-02 13:56 Alan Schmitt
2021-01-26 13:25 Alan Schmitt
2021-01-19 14:28 Alan Schmitt
2021-01-12 9:47 Alan Schmitt
2021-01-05 11:22 Alan Schmitt
2020-12-29 9:59 Alan Schmitt
2020-12-22 8:48 Alan Schmitt
2020-12-15 9:51 Alan Schmitt
2020-12-01 8:54 Alan Schmitt
2020-11-03 15:15 Alan Schmitt
2020-10-27 8:43 Alan Schmitt
2020-10-20 8:15 Alan Schmitt
2020-10-06 7:22 Alan Schmitt
2020-09-29 7:02 Alan Schmitt
2020-09-22 7:27 Alan Schmitt
2020-09-08 13:11 Alan Schmitt
2020-09-01 7:55 Alan Schmitt
2020-08-18 7:25 Alan Schmitt
2020-07-28 16:57 Alan Schmitt
2020-07-21 14:42 Alan Schmitt
2020-07-14 9:54 Alan Schmitt
2020-07-07 10:04 Alan Schmitt
2020-06-30 7:00 Alan Schmitt
2020-06-16 8:36 Alan Schmitt
2020-06-09 8:28 Alan Schmitt
2020-05-19 9:52 Alan Schmitt
2020-05-12 7:45 Alan Schmitt
2020-05-05 7:45 Alan Schmitt
2020-04-28 12:44 Alan Schmitt
2020-04-21 8:58 Alan Schmitt
2020-04-14 7:28 Alan Schmitt
2020-04-07 7:51 Alan Schmitt
2020-03-31 9:54 Alan Schmitt
2020-03-24 9:31 Alan Schmitt
2020-03-17 11:04 Alan Schmitt
2020-03-10 14:28 Alan Schmitt
2020-03-03 8:00 Alan Schmitt
2020-02-25 8:51 Alan Schmitt
2020-02-18 8:18 Alan Schmitt
2020-02-04 8:47 Alan Schmitt
2020-01-28 10:53 Alan Schmitt
2020-01-21 14:08 Alan Schmitt
2020-01-14 14:16 Alan Schmitt
2020-01-07 13:43 Alan Schmitt
2019-12-31 9:18 Alan Schmitt
2019-12-17 8:52 Alan Schmitt
2019-12-10 8:21 Alan Schmitt
2019-12-03 15:42 Alan Schmitt
2019-11-26 8:33 Alan Schmitt
2019-11-12 13:21 Alan Schmitt
2019-11-05 6:55 Alan Schmitt
2019-10-15 7:28 Alan Schmitt
2019-09-03 7:35 Alan Schmitt
Reply instructions:
You may reply publicly 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=87a6chiqkm.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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox