The greatest ecologist and the patient in coma have the same worth as in “both have the same right to live, to be happy, etc.”.
338 karma · joined November 22, 2023
The greatest ecologist and the patient in coma have the same worth as in “both have the same right to live, to be happy, etc.”.
Let’s say you have two ways of doing the same thing: both work, both are legit and neither introduce GC bugs. The only difference between the two is that one can be verified by the compiler while the other can’t, so you are stuck with solution no. 1 although both would work.
To phrase it differently: the code that gets verified by the compiler is safe, but is all safe code verifiable by the compiler?
I’m not implying that’s the case, but that’s what I feel the author is saying.
That doesn’t apply to emergencies, of course.
I thought the reference simply was the word “book” in Italian.