Previous week Up Next week


Here is the latest OCaml Weekly News, for the week of August 22 to 29, 2017.

  1. Mechaml 1.0.0
  2. Open 18-month Postdoc Position on Frama-C/E-ACSL
  3. BuckleScript 1.9: namespace support and better error message
  4. From the OCaml discourse
  5. Other OCaml News

Mechaml 1.0.0


Yann Hamdaoui announced:
Dear OCamlers, I'm happy to announce the (almost first) release of Mechaml
1.0.0 on OPAM.
A version 0.1 exists but 1.0.0 should be considered as the first usable

Mechaml is a functional web scraping library that allows to :
* Fetch web content
* Analyze, fill and submit HTML forms
* Handle cookies, headers and redirections

Mechaml is built on top of existing libraries that provide low-level
features : Cohttp and
Lwt for asynchronous I/O and HTTP handling, and
Lambdasoup to parse HTML. It provides
an interface that handles the interactions between these and add a few
other features.

Please refer to the for more
information, examples and documentation.

Open 18-month Postdoc Position on Frama-C/E-ACSL


Julien Signoles announced:
The Software Security Lab at CEA LIST (Paris Saclay, France) is hiring a
18-month postdoc to improve the Frama-C runtime verification plug-in
E-ACSL. Knowledge in at least one of the following fields is required:
- OCaml programming (at least, functional programming)
- C programming
- runtime verification
- compilation
- static analysis
- semantics of programming languages (in particular, the ISO C99
programming language)
- formal specification

A full description of the open position is available online:

Feel free to contact me for additional details,
Julien Signoles

BuckleScript 1.9: namespace support and better error message


Bob Zhang announced:
BuckleScript is an optimizing compiler for OCaml to generate readable
_javascript_, it is open sourced by Bloomberg [1] (also supported by
Facebook ReasonML team).

Two major changes brought by this release:
1. Namespace support. Unlike most existing implementations, the namespace
support is non leaky which means you have and only have one way to  access
`Pkg.A`, the build system makes full use of concurrency, it is highly
performant and scalable.

2. Better error message, this is mostly brought by Facebook ReasonML team,
they wrote a blog about it [2]

A non complete list of changes are listed here:

BuckleScript is indeed growing quickly these days [3], there is a large
chance that we can make it reasonably popular and reach a 10x larger
audience, contributions  are much appreciated.

Documentation is available here:

To install:
npm install -g bs-platform

Happy hacking in OCaml! -- Hongbo


From the OCaml discourse

The editor compiled this list:
Here are some links to messages at that may
be of interest to the readers.

- Rodolphe Lepigre talks about "Release of Bindlib 4.0.4"
- Rodolphe Lepigre talks about "Realease of imagelib"
- Rudi Grinberg talks about "ANN: jbuilder 1.0+beta12"
- Petter A. Urkedal talks about "ppx_regexp 0.2.0 and 0.3.0"
- Martin Jambon talks about "cppo 1.6.0: jbuilder build"
- Marcello Seri talks about "ocaml-rpc 2.0.0 released"
- octachron talks about "codept 0.10.0"

Other OCaml News

From the ocamlcore planet blog:
Here are links from many OCaml blogs aggregated at OCaml Planet,

Merlin 3.0.0 on Windows

Alleged "hack" of our site: just a spam

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