3 ms·
Short of a formal proof (or a sound type system), you can't be sure that you never hit a type error in production that now wouldn't be caught.
by lindig 11y ago
Short of a formal proof (or a sound type system), you can't be sure that you never hit a type error in production that now wouldn't be caught.