URL
BibTeX DOI
Abstract. This fast-moving tutorial introduces you to OCaml, an industrial-strength programming language designed for expressiveness, safety, and speed. Through the book's many examples, you'll quickly learn how OCaml stands out as a tool for writing fast, succinct, and readable systems code using functional programming. Real World OCaml takes you through the concepts of the language at a brisk pace, and then helps you explore the tools and techniques that make OCaml an effective and practical tool. You'll also delve deep into the details of the compiler toolchain and OCaml's simple and efficient runtime system. This second edition brings the book up to date with almost a decade of improvements in the OCaml language and ecosystem, with new chapters covering testing, GADTs, and platform tooling. This title is also available as open access on Cambridge Core, thanks to the support of Tarides. Their generous contribution will bring more people to OCaml.
Authors. Anil Madhavapeddy and Yaron Minsky
See Also. This publication was part of the OCaml Labs and Unikernels projects.
Previous Revisions. There are also earlier revisions of this paper available below. Please cite only the latest version of the paper above where possible.
|
(Older v1) Real World OCaml: Functional programming for the masses |
News Updates
» Recap of the OCaml community in 2022 posted along with plans to join the 'fediverse'.
» The second edition of Real World OCaml available from Cambridge University Press!» Update posted to the OCaml community on progress towards OCaml 5.0.» Update posted to the OCaml community on post-multicore-merge activities in OCaml trunk.» Update posted to the OCaml community on major multicore code review with Inria.» Update posted to the OCaml community on confirmation that the effect system will appear in OCaml 5.0.» Published a roadmap for OCaml.org's revamp.» Update on multicore OCaml being ready for testing / «
» Talk on the state of the OCaml Platform in 2020.» Update the OCaml community on multicore progress and linked preprint of ICFP submission on the runtime.» Delivered the distinguished seminar series at St Andrews on rebuilding Operating Systems with functional principles / «» Part 2 / «» Part 3.» Began updating the OCaml community regularly with multicore monthly reports.» Rearranged the OCaml opam repository layout.» Talk on the state of the OCaml Platform.» DockerCon talk on unikernels and MirageOS.» Interviewed by The New Stack at OSCON in Austin, Texas / «» Updated the MirageOS community about the 2016 hack retreat.» Announced HyperKit, VPNKit and DataKit for the Docker ecosystem.» Announced that Unikernel Systems is now part of Docker.» Update on the state of the OCaml Platform / «» Invited talk at NetPL on Immutable Distributed Infrastructure with Unikernels.» Talk at Esper on functional programming with unikernels.» Updated the OCaml community on annual OCaml Labs activities for 2014.» Announced a call for sponsorships for ICFP 2015 in my role as industrial relations chair.» Gave BOB 2015 keynote on functional Operating Systems.» New Directions in Operating Systems talk on Jitsu.» At the Xen Summit speaking about branch consistency for Xen Stub Domains.» Talk on the OCaml Platform reaching v1.0 / «» Gave Haskell Symposium 2014 Keynote on functional OS design.» Note on talks from OCaml Labs at ICFP 2014.» Announced the release of MirageOS 1.2, and a roadmap towards MirageOS 2.0 / «» Announced the long-awaited release of MirageOS 2.0 / «» Appeared on FLOSS Weekly 302 about Open Mirage.» Appeared on SE Radio Episode 204 about Mirage and OCaml.» Call for sponsorships for ICFP 2014 in my role as industrial relations chair / «» Note on an experiment to improve the coupling of opam with GitHub / «» Note on the Codio support for the opam package manager.» Note on the discussions around my recent CACM article on unikernels.» Updated the OCaml community on the activities of OCaml Labs in 2013.» The 1st Edition of Real World OCaml by O'Reilly associates is released! / «» MirageOS and XAPI project update at XenSummit / «» Note on integrating Docker and opam more effectively.» Note on the release of the OPAM 1.1 beta / «» Liveblog from the CUFP 2013 workshop at ICFP / «» Liveblog from the OCaml 2013 workshop.» Mirage Developer Preview 1 screencast.» Note on how to grep the source code for all packages on opam.» Discussing how we disaggregated MirageOS into opam packages / «» Announced the opening of OCaml Labs at Cambridge, along with Jane Street support.» Note on how to build XenStore stub domains using MirageOS / «» Recording of the OCaml Labs announcement.» Note on using ARM Dreamplugs with OCaml published.» At the OCaml Meeting 2011 speaking about MirageOS.» Liveblog on the talks at CUFP 2011.» Note discussing an OCaml interface to our new CIEL dataflow engine / «» Published a note on delimited continuations vs Lwt in OCaml for MirageOS.» Trip report about the new OCaml Users Group in Paris / «» Blogged about the growth of functional programming in the Systems Research Group.» Announced that the MirageOS website now self-hosted on MirageOS! / «» At LinkedIn giving tech talk about Mirage.» At HotCloud for the first talk about MirageOS.