Leo White

Language Design with Leo White

Leo White, Ron Minsky

Jane Street compiler team member Leo White discusses OCaml's unique design philosophy, which balances pure mathematical type theory with practical modularity to optimize for compiler construction. He outlines current limitations in memory layout and dependent types that hinder systems programming, while highlighting upcoming features like modular implicits and algebraic effects aimed at resolving compositionality issues without sacrificing safety. The conversation further details Jane Street's collaborative upstream strategy, which uses internal forks to experiment with risky innovations while maintaining rigorous backward compatibility for the broader open-source community.