Related Articles

OCamlPro's Blog


Authors: Muriel, OCamlPro
Date: 2022-01-31
Category: OCamlPro

OCamlPro was created in 2011 to advocate the adoption of the OCaml language and Formal Methods in general in the industry. 2021 was a very special year as we celebrated our 10th anniversary! While building a team of highly-skilled engineers, we navigated through our expertise domains, programming la... (Read more)


Authors: Adrien Champion
Date: 2021-10-14
Category: Formal Methods

Adrien Champion adrien.champion@ocamlpro.com This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. These posts broadly discusses induction as a formal verification technique, which here really means formal program verification. I will use concrete, runnabl... (Read more)


Authors: Louis Gesbert
Date: 2021-09-02
Category: Tooling

Distributing OCaml software on opam is great (if I dare say so myself), but sometimes you need to provide your tools to an audience outside of the OCaml community, or just without recompilations or in a simpler way. However, just distributing the locally generated binaries requires that the users ha... (Read more)


Date: 2021-08-04
Category: Tooling
Tags: opam

Feedback on this post is welcomed on Discuss! We are happy to announce the release of opam 2.1.0. Many new features made it in (see the pre-release changelogs or release notes for the details), but here are a few highlights. What's new in opam 2.1? Integration of system dependencies (formerly the op... (Read more)


Date: 2021-08-03
Category: Tooling
Tags: opam

Feedback on this post is welcomed on Discuss! We are pleased to announce the minor release of opam 2.0.9. This new version contains some back-ported fixes. New features Back-ported ability to load upgraded roots read-only; allows applications compiled with opam-state 2.0.9 to load a root which has b... (Read more)


Authors: Leo Boitel
Date: 2021-07-16
Category: OCaml
Tags: ocaml, flambda

In some discussions among OCaml developers around the empty type (PR#9459), some people mused about the possibility of annotating functions with an attribute telling the compiler that the function should be trivial, and always return a value strictly equivalent to its argument.Curious about the feas... (Read more)


Authors: Leo Boitel
Date: 2021-07-16
Category: OCaml
Tags: ocaml, flambda, fr

Au cours de discussions parmi les développeurs OCaml sur le type vide (PR#9459), certains caressaient l’idée d’annoter des fonctions avec un attribut indiquant au compilateur que la fonction devrait être triviale, et toujours renvoyer une valeur strictement équivalente à son argument. Nous ... (Read more)


Date: 2021-06-23
Category: Tooling
Tags: opam

Feedback on this post is welcomed on Discuss! The opam team has great pleasure in announcing opam 2.1.0~rc2! The focus since beta4 has been preparing for a world with more than one released version of opam (i.e. 2.0.x and 2.1.x). The release candidate extends CLI versioning further and, under the ho... (Read more)


Authors: OCamlPro
Date: 2021-05-06
Category: Trainings
Tags: format, tutorial

The Format module of OCaml is an extremely powerful but unfortunately often poorly used module. It combines two distinct elements: pretty-print boxes semantic tags This tutorial aims to demystify much of this module and explain the range of things that you can do with it. Read more (i... (Read more)


Authors: OCamlPro
Date: 2021-04-29
Category: Formal Methods
Tags: alt-ergo, fr

La troisième réunion annuelle du Club des utilisateurs d’Alt-Ergo a eu lieu le 1er avril ! Cette réunion annuelle est l’endroit idéal pour passer en revue les besoins de chaque partenaire concernant Alt-Ergo. Nous avons eu le plaisir de recevoir nos partenaires pour discuter de la feuille de... (Read more)

%[tr:Related Articles]