2 ms·

Beware of bugs in the above code; I have only proved it correct, not tried it. --Donald Knuth On the one hand we have the management mantra: if you can't measu

by ukj 7y ago

Beware of bugs in the above code; I have only proved it correct, not tried it. --Donald Knuth On the one hand we have the management mantra: if you can't measure it you can't improve it. On the other hand we have Goodhart's law. And so 'correctness', 'safety', 'quality' (or absence thereof) are fluid concepts that can never be formalised precisely. Language/logic sucks, but it's all we've got.

pron 7y ago
> Language/logic sucks, but it's all we've got. Perhaps, but PLT is not the main discipline studying software correctness -- those would be formal methods and software engineering -- although it has some overlap with those disciplines. PLT is not the general name for all study of programs; it is the name for a particular perspective, and a particular component of that study.