Blog

The OCaml Planet

Articles and videos contributed by both experts, companies and passionate developers from the OCaml community. From in-depth technical articles, project highlights, community news, or insights into Open Source projects, the OCaml Planet RSS feed aggregator has something for everyone.

Want your Blog Posts or Videos to Show Here?

To contribute a blog post, or add your RSS feed, check out the Contributing Guide on GitHub.

Detecting identity functions in 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...

16 Jul 2021

OCamlPro

Read Article
Détection de fonctions d’identité dans Flambda

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 ...

15 Jul 2021

OCamlPro

Read Article
Tarides Introduces OSMOSE at the Open-Source Innovation Sprint

Tarides is excited to announce that our CEO, Dr. Thomas Gazagnaire, and Prof. Anil Madhavapeddy, from the University of Cambridge, will…

29 Jun 2021

Tarides

Read Article
Let Definitions | OCaml Programming | Chapter 2 Video 4

Using `let` definitions to bind values to names. Textbook: https://cs3110.github.io/textbook

25 Jun 2021

OCaml Programming: Correct + Efficient + Beautiful

View Video
Let Definitions | OCaml Programming | Chapter 2 Video 4

Using `let` definitions to bind values to names. Textbook: https://cs3110.github.io/textbook

25 Jun 2021

OCaml Programming: Correct + Efficient + Beautiful

View Video