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

Terms With Variables (C++) — Shayne Fletcher, Sep  2, 2014

Terms with Variables (C++)

In this earlier post I showed a nifty OCaml type for modeling terms with variables for problems involving substitutions. I got interested in what it would take to implement the type in C++(03) (doing 'sum' types in C++ elegantly is a perennial problem). It ain't nowhere near as succinct but we got there nonetheless.

#include <list>

#include <boost/variant.hpp>

type ('a, 'b) term =
| Term of 'a * ('a, 'b) term list
| Var of 'b

template <class A, …

Weekly News — Caml Weekly News, Sep  2, 2014

  1. New Book: More OCaml - Algorithms, Methods & Diversions
  2. OCaml 4.02.0
  3. Immutable strings
  4. ocmalnet-3.7.5
  5. ocamlnet-4.0.0test2 (development snapshot)
  6. UTop 1.15
  7. Ocaml 4.02.0: Dead Code Elimination and Core
  8. Camlp4 4.02.0
  9. Cryptosense is hiring!
  10. Other OCaml News

Talks from OCaml Labs during ICFP 2014 — Anil Madhavapeddy, Aug 30, 2014

It’s the ever-exciting week of the International Conference on Functional Programming again in Sweden, and this time OCaml Labs has a variety of talks, tutorials and keynotes to deliver throughout the week. This post summarises all them so you can navigate your way to the right session. Remember that once you register for a particular day at ICFP, you can move between workshops and tutorials as you please.

Quick links to the below in date order:


virt-v2v: better living through new technology — Richard Jones, Aug 29, 2014

If you ever used the old version of virt-v2v, our software that converts guests to run on KVM, then you probably found it slow, but worse still it was slow and could fail at the end of the conversion (after possibly an hour or more). No one liked that, least of all the developers and support people who had to help people use it.

A V2V conversion is intrinsically going to take a long time, because it always involves copying huge disk images around. These can be gigabytes or even terabytes in si…


OCaml 4.02.0 released — Caml INRIA, Aug 29, 2014

Senior Software Engineer (Functional) at McGraw-Hill Education (Full-time) — Functional Jobs, Aug 28, 2014

This Senior Software Engineer position is with the new LearnSmart team at McGraw-Hill Education's new and growing Research & Development center in Boston's Innovation District. We make software that helps college students study smarter, earn better grades, and retain more knowledge.

The LearnSmart adaptive engine powers the products in our LearnSmart Advantage suite — LearnSmart, SmartBook, LearnSmart Achieve, LearnSmart Prep, and LearnSmart Labs. These products provide a personalized le…


Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong — Github OCaml jobs, Aug 28, 2014

Software Developer (Functional Programming)

Jane Street is looking to hire great software developers with an interest in functional programming. OCaml, a statically typed functional programming with similarities to Haskell, Scheme, Erlang, F# and SML, is our language of choice. We've got the largest team of OCaml developers in any industrial setting, and probably the world's largest OCaml codebase. We use OCaml for running our entire business, supporting everything from research to systems admi…


More OCaml: Algorithms, Methods & Diversions — OCaml Book, Aug 27, 2014

More OCaml: Algorithms, Methods & Diversions is now available on Amazon at $39.99 or less, or as a DRM-free PDF eBook for $14.99 at ocaml-book.com, where you will also find sample chapters, and the exercises and examples to download.

Here's the blurb:


In More OCaml John Whitington takes a meandering tour of functional programming with OCaml, introducing various language features and describing some classic algorithms. The book ends with a large worked example dealing with the production of…


Weekly News — Caml Weekly News, Aug 26, 2014

  1. OPAM 1.2 public beta
  2. Commercial Users of Functional Programming at ICFP 2014, Gothenburg, Sep 4-6
  3. OCaml 4.02.0+rc1
  4. Feedback wanted about the OCaml windows installer
  5. Gg 0.9.0
  6. Vg 0.8.1
  7. React 1.2.0
  8. Locally abstract type with type parameters
  9. OCaml HTML parsing & manipulation
  10. Core Suite 111.28.00
  11. Other OCaml News

UTop: a much improved interface to the OCaml toplevel — OCaml Platform, Aug 26, 2014

This is a post about the utop toplevel provided in the OPAM repository as an alternative to the standard OCaml one.

OCaml comes with an interactive toplevel. If you type ocaml in a shell you will get a prompt where you can type OCaml code that is compiled and executed on the fly.

$ ocaml
    OCaml version 4.02.0+dev12-2014-07-30

# 1 + 1;;
- : int = 2

You can load libraries and your own modules in the toplevel, and is great for playing with your code. You'll quickly notice that the user experien…