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.

Scaling Software Modularization with Topkg »

There is one issue that bazaars, library operating systems like MirageOS or random left-padists face: how to scale extreme software modularization. Scaling not from a software composition perspective; this could be readily solved by using the type system and the functional programming techniques everyone’s heard about. But scaling from a purely bureaucratic point of view.

MirageOS 3.0.0 Released! »

The release of Mirage 3.0.0 brings further flexibility and stability to the modular operating system, together with improved user and developer experience. The core team has focussed on improving development workflow, providing easier interfaces and interoperability where possible, with collaboration from a growing user base employing MirageOS components in production and research.