3 ms·
Refinement types (for example) can be used to prove the code correct before even running it. Assertions typically can’t do that.
by mbrodersen 4y ago
Refinement types (for example) can be used to prove the code correct before even running it. Assertions typically can’t do that.