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.

Mutable

This post describes when to use imperative style in OCaml. It uses binary search, state count, shuffle, memorize, memorize rec, lazy as examples. Also it gives general suggestions on how....

21 Jan 2015

Xinuo Chen

Read Article
Implementing Strongly-Specified Functions with the refine Tactic

We see how to implement strongly-specified list manipulation functions in Coq. Strong specifications are used to ensure some properties on functions' arguments and return value. It makes Coq type system very expressive.

11 Jan 2015

Thomas Letan’s Blog

Read Article
Omegle in N2O

06 Jan 2015

Rudi Grinberg

Read Article
Immutable

This post describes immutable in OCaml with details. It also illustrates the functional programming style together with Quicksort in OCaml. Shadowing is also presented....

02 Jan 2015

Xinuo Chen

Read Article
13 Virtues

Very early on in his life, while on lengthy voyage from London to Philadelphia,Ben Franklin created a system of thirteen virtues to live his life by. He spen...

02 Jan 2015

Jane Street Tech Blog

Read Article
2014

So, how was 2014 for me, in tech at least? Pretty good. It has been quite an interesting experience adapting to an all-proprietary tech stack (database, language, IDE, job scheduler) but I feel I a…

28 Dec 2014

Gaius Hammond

Read Article
Uuseg 0.8.0

23 Dec 2014

Daniel Bünzli

Read Article