The goal of OCaml Labs is to push OCaml and functional programming forward as a platform, making it a more effective tool for current users (including significant industrial users) and at the same time growing the appeal of the language, broadening its applicability and popularity by a combination of technological advancements, creation of community infrastructure, and public communications.

This effort is run across multiple groups in the Computer Laboratory, primarily the SRG and PLS, and including collaborators from the Security, CompArch and DTG groups. We would like to especially thank our primary funder, Jane Street, for their generous support.


Unsigned Integers as Built-In Types or as a Library? »

Jeremy Yallop has submitted an extensive PR to add support for unsigned 32-bit and 64-bit integers. This feature is frequently requested, and the PR details the motivation behind the addition of primitive types, standard library modules, syntax for expressions and patterns, as well as suggesting ideas for future enhancement.

Opam 2.0.0 beta 3 »

This beta 3 release brings speed and stability improvements, replaces the opam build command with opam install <dir>, provides a clearer interface for handling package test and doc dependencies, and extends the CLI in a few areas.

OCaml 4.04.1 Released »

OCaml 4.04.1 was released this week. There are no new features as this is predominantly a maintenance release, and includes a hefty list of important bug fixes.

Parsing the Email Standard with TypeBeat »

Content-Type describes the type of content in the message body of an email or HTTP request, and is represented by a MIME type, which indicates the type of data that file contains.