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.
The 2017 MirageOS Hack Retreat in Marrakech is over, but you can experience the fun and hard work vicariously by reading the detailed trip reports we’ve collected!
Menhir is a parser generator for OCaml that compiles LR(1) grammar specifications to OCaml code. It is developed by François Pottier and Yann Régis-Gianas.
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.
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.
The experimental backend for Agda targets the OCaml compiler via Malfunction - a library created by OCaml Labs’ own Stephen Dolan. Malfunction is a compilation target that allows functional programming languages to take advantage of the OCaml flambda optimisations, efficient runtime and garbage collector.