3 ms·

There's static asserts.

• eru 5y ago
  Yes. I meant the theory people would still look at that through the lens of type systems. See eg https://en.wikipedia.org/wiki/Dependent_type https://en.wikipedia.org/wiki/Dependent_type