• en

OCaml Planet

The OCaml Planet aggregates various blogs from the OCaml community. If you would like to be added, read the Planet syndication HOWTO.

933 blog posts are available. You can read the 30 more recent ones below or view older ones.

Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong — GitHub Jobs, Jan 03, 2017

Software Developer

Jane Street is a proprietary quantitative trading firm, focusing primarily on trading equities and equity derivatives. We use innovative technology, a scientific approach, and a deep understanding of markets to stay successful in our highly competitive field. We operate around the clock and around the globe, employing over 400 people in offices in New York, London and Hong Kong.

The markets in which we trade change rapidly, but our intellectual approach changes faster still…

Read more...

Weekly News — OCaml Weekly News, Jan 03, 2017

  1. BER MetaOCaml N104, for OCaml 4.04.0
  2. Deprecation of tabulation boxes
  3. C++ for Ocaml FFI bindings
  4. Other OCaml News

Deprecating the Forge in 2017 — OCamlCore Forge News (Sylvain Le Gall), Dec 30, 2016

The OCaml Forge was launched 9 years ago. Today, the OCaml community will probably benefit to switch to a more popular hosting option, like Github. Over the course of 2017, the content of the current forge will be transferred to a static website or given back to its author for a migration to another hosting provider. == Background The main reason of the deprecation is that the overall activity on the forge is low and I am mostly managing spammers on it. - The number of projects starting on th…Read more...

CamlIDL; migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The camlidl project now resides on Github, http://github.com/xavierleroy/camlidl. Further developments and new releases will take place on Github, not on this forge.

SpamOracle: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The spamoracle project now resides on Github, http://github.com/xavierleroy/spamoracle. Further developments and new releases will take place on Github, not on this forge.

ocamltopwin: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The ocamltopwin project now resides on Github, http://github.com/xavierleroy/ocamltopwin. Further developments and new releases will take place on Github, not on this forge.

ocamlmpi: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The ocamlmpi project now resides on Github, http://github.com/xavierleroy/ocamlmpi. Further developments and new releases will take place on Github, not on this forge.

Ocamlagrep: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The ocamlagrep project now resides on Github, http://github.com/xavierleroy/ocamlagrep. Further developments and new releases will take place on Github, not on this forge.

Camlzip: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The camlzip project now resides on Github, http://github.com/xavierleroy/camlzip. Further developments and new releases will take place on Github, not on this forge.

Camjava: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The camljava project now resides on Github, http://github.com/xavierleroy/camljava. Further developments and new releases will take place on Github, not on this forge.

Cryptokit: migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 30, 2016

The cryptokit project now resides on Github, http://github.com/xavierleroy/cryptokit. Further developments and new releases will take place on Github, not on this forge.

Weekly News — OCaml Weekly News, Dec 27, 2016

  1. opam-cross-{windows,android,ios} with OCaml 4.04
  2. off-brand use of ocaml bytecode

Weekly News — OCaml Weekly News, Dec 20, 2016

  1. Eliom 6.0: mobile and Web apps in OCaml
  2. Deprecation of tabulation boxes
  3. Other OCaml News

vile 9.8s — Marc Simpson, Dec 17, 2016

vile 9.8s

# December 17, 2016

Tom Dickey has just released vile 9.8s; this release includes the following changes:

20161217 (s)
  > Brendan O'Dea:
  + add command-line parsing for "--" token, assumed by visudo in the
    1.8.12 - 1.8.16 changes (report by Wayne Cuddy).
  > Tom Dickey:
  + recompute majormode order when "after", "before" or "qualifiers" is
    modified for a majormode.
  + add yamlmode (discuss…
Read more...

Merlin promoted to headline OCaml project — OCaml Labs, Dec 16, 2016

We have been refreshing the OCaml GitHub organisation in an effort to better manage the growing number of projects integral to the core OCaml distribution. We are happy to announce that in recognition of its importance to the OCaml language and ecosystem as a whole, Merlin has been promoted as a headline project of OCaml.

Merlin is the defacto editor tool for OCaml, with support for Vim, Emacs, Acme, Atom, Spacemacs, VSCode and Sublime Text. It is maintained by Frédéric Bour and Thomas Refis, …

Read more...

Coq 8.6 is out — Coq, Dec 14, 2016

The final release of Coq 8.6 is available. Coq 8.6 includes:
  • A new, faster state-of-the-art universe constraint checker by Jacques-Henri Jourdan.
  • In CoqIDE and other asynchronous interfaces, more fine-grained asynchronous processing and error reporting by Enrico Tassi, making Coq capable of recovering from errors and continuing to process the document.
  • Better access to the proof engine features from Ltac: goal management primitives, range selectors and a typeclasses eauto engine ha…
Read more...

Weekly News — OCaml Weekly News, Dec 13, 2016

  1. OASIS v0.4.8
  2. Web technologies as graphical user interface to OCaml programs?
  3. Other OCaml News

Eliom 6.0: mobile and Web apps in OCaml — Ocsigen blog (The Ocsigen Team), Dec 12, 2016

We are very happy to announce the release of Ocsigen Eliom 6.0, which follows the recent releases of Ocsigen Server 2.8 and Ocsigen Js_of_ocaml 2.8.x.

New features include a friendlier service API that retains the expressive power of our service system. Additionally, Eliom can now be used to build cross-platform Web/mobile applications (Android, iOS, …).

What is Eliom?

Eliom is a framework for developing client/server web applications. Both the server and the client parts of the application…

Read more...

Migration to Github — OCamlCore Forge News (Xavier Leroy), Dec 11, 2016

The CamlDBM project now resides on Github, http://github.com/ocaml/dbm. Further developments and new releases will take place on Github, not on this forge.

AFL merged! — OCaml Labs, Dec 08, 2016

AFL has been merged into OCaml trunk! Take care of all of your fuzzing needs and improve the functional coverage of your code by using ocaml-afl-persistent.

The OCaml AFL project started back at the first MirageOS hackathon in Marrakech earlier this year by Mindy Preston, and the patch provided by Stephen Dolan adds support to ocamlopt for generating afl compatible instrumentation and minimal runtime support to communicate with the fuzzer.

We need more people to fuzz OCaml programs and highlig…

Read more...

Coq 8.6 rc 1 is out — Coq, Dec 08, 2016

The first release candidate of Coq 8.6 is available for testing. Coq 8.6 includes:
  • A new, faster state-of-the-art universe constraint checker by Jacques-Henri Jourdan.
  • In CoqIDE and other asynchronous interfaces, more fine-grained asynchronous processing and error reporting by Enrico Tassi, making Coq capable of recovering from errors and continuing to process the document.
  • Better access to the proof engine features from Ltac: goal management primitives, range selectors and a typec…
Read more...

Weekly News — OCaml Weekly News, Dec 06, 2016

  1. llpp v25
  2. ocaml-vdom (pre-release)
  3. Android/iOS apps with OCaml
  4. Next OUPS meetup, Dec. 6th 2016
  5. Base, Stdio and Jbuilder 0.1.alpha1
  6. Other OCaml News

The Silicon 20161101 release of Frama-C is available. — Frama-C, Dec 01, 2016

Back End Functional Developer at NYU (Full-time) — Functional Jobs (FunctionalJobs.com), Nov 29, 2016

Position Summary

The Databrary project is looking for a smart, energetic and flexible back end developer to join its technical team. The developer will act as the primary owner of the code base of our service. Working closely with the managing director and the service team, the developer will design, develop and maintain tools to enable behavioral researchers to collaborate, store, discover, explore and access video-based research datasets. (S)he will maintain an existing code base and build ne…

Read more...

Weekly News — OCaml Weekly News, Nov 29, 2016

  1. Uucd 4.0.0, Uucp 2.0.0, Uunf 2.0.0, Uuseg 1.0.0, Uutf 1.0.0
  2. Empty polymorphic variant set
  3. Compressing stream in Async.Tcp.Server
  4. OCaml version 4.04.0 is released.
  5. Camlp5 6.17 released (and moved to github)
  6. Other OCaml News

Unicode 9.0.0 refresh — Daniel Bünzli, Nov 23, 2016

Uucd, Uucp, Uunf, Uuseg and Uutf were all refreshed for Unicode 9.0.0. They also support the new Uchar.t type introduced in OCaml 4.03 and compile with safe string. Find about them on the software page.

Weekly News — OCaml Weekly News, Nov 22, 2016

  1. findlib-1.7.0
  2. Merlin 2.5.2 with OCaml 4.04.0 support
  3. llpp v23
  4. Other OCaml News

Release of Alt-Ergo 1.30 with experimental support for models generation — OCamlPro, Nov 21, 2016

We have recently released a new (public up-to-date) version of Alt-Ergo. We focus in this article on its main new feature: experimental support for models generation. This work has been done with Frédéric Lang, an intern at OCamlPro from February to July 2016.

The idea behind models generation

The idea behind this feature is the following: when Alt-Ergo fails to prove the validity of a given formula F, it tries to compute and exhibit values for the terms of the problem that make the negation o…

Read more...

opam-lib 1.3 available — OCaml Platform (Louis Gesbert), Nov 21, 2016

opam-lib 1.3

The package for opam-lib version 1.3 has just been released in the official opam repository. There is no release of opam with version 1.3, but this is an intermediate version of the library that retains compatibility of the file formats with 1.2.2.

The purpose of this release is twofold:

  • provide some fixes and enhancements over opam-lib 1.2.2. For example, 1.3 has an enhanced lint function
  • be a step towards migration to opam-lib 2.0.

This version is compatible with the …

Read more...

OCaml 4.04, RISC-V, S/390, POWER and more … — Richard Jones, Nov 19, 2016

I pushed OCaml 4.04.0 to Fedora Rawhide last week. There are loads of new features for OCaml users, but the ones that particularly affect Fedora are:

  • New, upstream POWER (ppc64, ppc64le) backend, replacing the downstream one that we have maintained for a few years. I was quite apprehensive about this change because I had tried the new backend during the OCaml 4.03 release cycle and found it to be quite unstable. However the latest version looks rock solid and has no problem compiling the en…
Read more...

View older blog posts.