3 ms·
What? Tests don't guarantee correctness. Sophisticated type systems can prove correctness. See Idris for instance.
by rowanG077 7y ago
What? Tests don't guarantee correctness. Sophisticated type systems can prove correctness. See Idris for instance.
- VMG 7y agohe is joking