4 ms·

In a broader sense, any type system can only guarantee internal consistency.

• pjmlp 3y ago
  Quite true, and often overlooked when discussing fearless anything in the age of distributed computing.