4 ms·

Here's an example of a similar library: https://github.com/foonathan/type_safe https://github.com/foonathan/type_safe

• zelphirkalt 6y ago
  Aha, thank you, that's pretty cool! I wonder how they manage to make these types zero-overhead.
  • jcelerier 6y ago
    It can't be zero-overhead over e.g. int a,b ; a+b; It's however zero-overhead wrt a+b plus the manual error checking you'd have to do if you wanted to be correct