# Programming Unikernels in the Large via Functor Driven Development

*2019-05-01 — note*


Preprint on programming unikernels with ML modules, exploring functor-driven development with Gabriel Radanne, Thomas Gazagnaire, Jeremy Yallop, Richard Mortier and others. The paper tackled the configuration matrix problem - realistic unikernel applications depend on hundreds of libraries, each with different requirements across heterogeneous platforms. We showed how OCaml's module system, particularly functors, could cleanly separate configuration from application logic, enabling modular composition and leveraging link-time optimization for efficiency.
Synopsis: Preprint on programming unikernels using ML modules and functors.
Words: 68

## Related

- [Programming Unikernels in the Large via Functor Driven Development](https://anil.recoil.org/papers/2019-mirage-functors) (paper, 2019-05-01)

---
Canonical: https://anil.recoil.org/notes/2019-mirage-functors-1
Type: note
Tags: unikernels, mirageos, ocaml, functors, fp