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.
We are working with the team behind the DataBox project to host an open-source community launch in Cambridge this spring.
A (draft!) memory model is now available for multicore OCaml, which answers the question of what you get when you read a shared mutable memory reference.
The third MirageOS hack retreat has started! Our very own Hannes Mehnert has booked out the entire hostel at Priscilla, Queen of the Medina again, and has also organised a full supporting programme of local events and an evening of talks. The retreat runs from 1st March - 8th March, with 30+ people flying from all over the world to attend.
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.
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.
An effort to make PPXs portable across compiler versions.