3 ms·
> Would I rather guarantee my program is more correct or save a few seconds each time I compile? Iterating faster is also a way to improve the odds your progra
by morelisp 4y ago
> Would I rather guarantee my program is more correct or save a few seconds each time I compile?
Iterating faster is also a way to improve the odds your program is correct.
- DonaldPShimoda 4y agoThere is no inherent link between "number of successful compilations" and "program correctness". There is an inherent link between "the program type-checks" and "program correctness", because a successful type-check specifically means that a certain subset of syntactically valid programs have been thrown out due to being potentially problematic.