Opaque types and how they could have saved Mars Climate Orbitergithub.com/stereobooster2 pointsstereobooster8 years ago