Very nice examples! However, the "units" section does not address unit problems such as the ones that destroyed the Mars climate orbiter: they catch errors such as adding meters and seconds, not errors such as adding meters and miles. The example is really about dimensional analysis.
![Metaprogramming in C++14 - Louis Dionne [ACCU 2017]](/img/n.gif)
Very nice examples! However, the "units" section does not address unit problems such as the ones that destroyed the Mars climate orbiter: they catch errors such as adding meters and seconds, not errors such as adding meters and miles. The example is really about dimensional analysis.
something like strong types ( checkout foonathans blog on strong types )
so clever
Would be much better if questions were at the end only.