For completeness: C++ eventually introduced a feature to allow something analogo...

		MaxBarraclough on July 7, 2020 \| parent \| context \| favorite \| on: Division by zero in type theory: a FAQ For completeness: C++ eventually introduced a feature to allow something analogous to type-checking for template metaprogramming, called concepts - https://en.wikipedia.org/wiki/Concepts_(C%2B%2B)