Here is the latest OCaml Weekly News, for the week of May 16 to 23, 2017.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2017-05/msg00100.htmlHelmut Brandl announced:
It is my pleasure to announce a new version of the compiler for the Albatross programming language. It is available via ‘opam install alba’ (it requires ocaml >= 4.03.0). Alba is a language which allows static verification. In its current state it supports inductive types, recursive functions, pattern matching, inductively defined sets and relations and abstract data types. It can be used like coq to define types and functions and prove properties about them. We claim that Albatross is easier to use than coq and closer to mainstream languages so that there is no steep learning curve. The design of the language is an ongoing activity. Any comments, hints, issue reports etc. are welcome. Its long term goal is to open software verification for the masses. A language description can be found at https://www.gitbook.com/read/book/hbr/alba-lang-description.
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2017-05/msg00106.htmlGerd Stolpmann announced:
I released findlib-1.7.2: - support for termux (ygrek) - the toplevel support is now also available as package findlib.top (Jeremie Dimino) - (hopefully) support removal of packages in parallel - the "num" library is now optional See the project page for more information: http://projects.camlcity.org/projects/findlib.html
Archive: https://sympa.inria.fr/sympa/arc/caml-list/2017-05/msg00107.htmlJeremie Dimino announced:
Here are some links to messages at http://discuss.ocaml.org that may be of interest to the readers. - Hongbo Zhang talks about "About BuckleScript" https://discuss.ocaml.org/t/about-bucklescript/178 - Malcolm talks about "Pds - Makefiles and TOML files based build system" https://discuss.ocaml.org/t/pds-makefiles-and-toml-files-based-build-system/183 - Anil Madhavapeddy talks about "Cambridge Jbuilder demo/discussion: May 25th" https://discuss.ocaml.org/t/cambridge-jbuilder-demo-discussion-may-25th/195 - Vincent Balat talks about "About Ocsigen (Eliom, Js_of_ocaml, etc.)" https://discuss.ocaml.org/t/about-ocsigen-eliom-js-of-ocaml-etc/212 - Thomas Gazagnaire talks about "DataKit dev reports" https://discuss.ocaml.org/t/datakit-dev-reports/224 - Deokhwan Kim talks about "Translations of the Async code examples from RWO into Lwt" https://discuss.ocaml.org/t/translations-of-the-async-code-examples-from-rwo-into-lwt/225 - yallop talks about "ctypes 0.12.0" https://discuss.ocaml.org/t/ann-ctypes-0-12-0/255
Here are links from many OCaml blogs aggregated at OCaml Planet, http://ocaml.org/community/planet/. Proving a mem/map property http://blog.shaynefletcher.org/2017/05/proving-mem-map-property.html New opam features: more expressive dependencies http://www.ocamlpro.com/2017/05/11/new-opam-features-more-expressive-dependencies/
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.