3 ms·Type-driven design in automotive C: how much of my code is manual type checking?1 points by lmilz 5mo ago