Greetings Cameleers,
Today, a quick head’s up about our contributions to this year’s International
Conference on Functional Programming which is unraveling right now in Milan!
This year, our team presents two topics:
-
“Snapshottable Stores”: A generic and efficient data structure for the
implementation of backtracking algorithms, used particularly in automatic
theorem provers and type checkers. This implementation in OCaml will
soon be available on opam. -
A presentation on opam, detailing the contents of the latest major release 2.2, which was released in July, as well as how the opam team operates.
Be sure to checkout the event, there are plenty of great presentations and video replays!
Until next time, which will be sooner than later with another one of our Flambda2 Snippets,
Kind regards,
The OCamlPro Team