Opaque types and how they could have saved Mars Climate Orbiter
github.com