Hello Here is the latest OCaml Weekly News, for the week of October 09 to 16, 2018.
Table of Contents ───────────────── Next OUPS meetup October 23rd 2018 Dune 1.4.0 State of OCaml and web assembly Old CWN Next OUPS meetup October 23rd 2018 ══════════════════════════════════ Archive: [https://sympa.inria.fr/sympa/arc/caml-list/2018-10/msg00012.html] Bruno Bernardo announced ──────────────────────── The next OUPS meetup will take place on Tuesday, October 23, 7pm at IRILL on the Jussieu campus. As usual, we will have a few talks, followed by pizzas and drinks. The talks will be the following: • Jacques Garrigue, Lightweight linearly-typed programming with lenses and monads • Yann Régis-Gianas, Learn OCaml • Gabriel Scherer, Porting the OCaml parser of the compiler from ocamlyacc to Menhir Please do note that we are always in demand of talk *proposals* for future meetups. To register, or for more information, go here: [https://www.meetup.com/ocaml-paris/events/255450340] *Registration is required! Access is not guaranteed after 7pm if you're not registered.* (It also helps us to order the right amount of food.) Access map: IRILL - Université Pierre et Marie Curie (Paris VI) Barre 15-16 1er étage 4 Place Jussieu 75005 Paris [https://www.irill.org/pages/access.html] The meetup organizers. Dune 1.4.0 ══════════ Archive: [https://discuss.ocaml.org/t/ann-dune-1-4-0/2712/1] Rudi Grinberg announced ─────────────────────── The dune team is pleased to announce the 1.4.0 release of Dune. The highlight of this release is the improved support for menhir, in particular the long awaited `--infer' flag. This seemingly small feature took quite a bit of coordination between the maintainers of dune and menhir. So I'd like to thank @fpottier for helping us out with this by adding better support for dune in menhir itself, and implementing the majority of the support in dune as well. The rest of the release is mostly bug fixes, but one notable feature is that dune is now `C-c' friendly. Dune will now resume exactly where it's stopped after interruption instead of restarting the entire build. Here is the full change log: 1.4.0 (10/10/2018) ╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌╌ • Do not fail if the output of `ocamlc -config' doesn't include `standard_runtime' (#1326, @diml) • Let `Configurator.V1.C_define.import' handle negative integers (#1334, @Chris00) • Re-execute actions when a target is modified by the user inside `_build' (#1343, fix #1342, @diml) • Pass `--set-switch' to opam (#1341, fix #1337, @diml) • Fix bad interaction between multi-directory libraries the `menhir' stanza (#1373, fix #1372, @diml) • Integration with automatic formatters (#1252, fix #1201, @emillon) • Better error message when using `(self_build_stubs_archive ...)' and `(c_names ...)' or `(cxx_names ...)' simultaneously. (#1375, fix #1306, @nojb) • Improve name detection for packages when the prefix isn't an actual package (#1361, fix #1360, @rgrinberg) • Support for new menhir rules (#863, fix #305, @fpottier, @rgrinberg) • Do not remove flags when compiling compatibility modules for wrapped mode (#1382, fix #1364, @rgrinberg) • Fix reason support when using `staged_pps' (#1384, @charlesetc) • Add support for `enabled_if' in `rule', `menhir', `ocamllex', `ocamlyacc' (#1387, @diml) • Exit gracefully when a signal is received (#1366, @diml) • Load all defined libraries recursively into utop (#1384, fix #1344, @rgrinberg) • Allow to use libraries `bytes', `result' and `uchar' without `findlib' installed (#1391, @nojb) • Take argument to self_build_stubs_archive into account. (#1395, @nojb) • Fix bad interaction between `env' customization and vendored projects: when a vendored project didn't have its own `env' stanza, the `env' stanza from the enclosing project was in effect (#1408, @diml) • Fix stop early bug when scanning for watermarks (#1423, @struktured) State of OCaml and web assembly ═══════════════════════════════ Archive: [https://discuss.ocaml.org/t/state-of-ocaml-and-web-assembly/2725/1] Carmelo Piccione asked ────────────────────── I spent some time studying various ways the OCaml compiler can produce web assembly and interpret or depend on other web assembly libraries. The landscape is quite confusing. Does anyone have experience with OCaml and web assembly? Is there a reliable project to bet on and start developing with? What about interop with other libraries that compile to wasm and you want to reference in OCaml? Here's a list of the projects I have discovered which seem relevant. Would appreciate insights on whether they are being maintained, or if anybody has noteworthy experience with them: • ocamlrun-wasm: [https://github.com/sebmarkbage/ocamlrun-wasm] > This is a build script for building the OCaml bytecode interpreter for WebAssembly using emscripten. • wasm: [https://opam.ocaml.org/packages/wasm/wasm.1.0/] > An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. • cmm_of_wasm: [http://simonjf.com/2018/08/27/cmm-of-wasm.html] > From WebAssembly to Native Code via the OCaml Backend. • [https://github.com/SanderSpies/ocaml/tree/wasm/wasmcomp] > A fork of the ocaml compiler with a web assembly compile target. • grain: [https://github.com/grain-lang/grain] > Grain is a language built for the modern web by leveraging the brilliant work done by the WebAssembly project. While grain is not actually OCaml it seems to be a fork of the OCaml codebase and thus worthy of mention. 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.schm...@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/
signature.asc
Description: PGP signature
_______________________________________________ caml-news-weekly mailing list caml-news-weekly@lists.idyll.org http://lists.idyll.org/listinfo/caml-news-weekly