# Functional Networking for Millions of Docker Desktops

*2025-12-05 — video*


Docker is a developer tool used by millions of developers to build, share and
run software stacks. The Docker Desktop clients for Mac and Windows have long
used a novel combination of virtualisation and OCaml unikernels to seamlessly
run Linux containers on these non-Linux hosts. We reflect on a decade of
shipping this functional OCaml code into production across hundreds of millions
of developer desktops, and discuss the lessons learnt from our experiences in
integrating OCaml deeply into the container architecture that now drives much
of the global cloud. We conclude by observing just how good a fit for systems
programming that the unikernel approach has been, particularly when combined
with the OCaml module and type system.
Type: Talk
URL: https://crank.recoil.org/videos/watch/95671396-490e-4fab-a6ad-f5ac3b39716a
Paper: Functional Networking for Millions of Docker Desktops

## Related

- [Functional Networking for Millions of Docker Desktops](https://anil.recoil.org/papers/2025-docker-icfp) (paper, 2025-08-01)
- [OxCaml Labs](https://anil.recoil.org/projects/oxcaml) (project, 2025-01-01)

---
Canonical: https://anil.recoil.org/videos/95671396-490e-4fab-a6ad-f5ac3b39716a
Type: video
Tags: docker, ocaml, unikernels