Malfunction is an untyped program representation intended as a compilation target for functional languages, consisting of a thin wrapper around OCaml’s Lambda intermediate representation.

Compilers targeting Malfunction convert programs to a simple s-expression-based syntax with clear semantics, which is then compiled to native code using OCaml’s back-end, enjoying both the optimisations of OCaml’s new flambda pass, and its battle-tested runtime and garbage collector.