4 ms·
Life critical mathematics: you could verify calculations in the type system which are too risky to allow to fail at runtime.
by bionhoward 3y ago
Life critical mathematics: you could verify calculations in the type system which are too risky to allow to fail at runtime.