3 ms·
I didn't say they were equivalent, I said they were both sound in that context. By "doesn't really matter", I meant in the sense that I had just described, eg.
by naasking 2y ago
I didn't say they were equivalent, I said they were both sound in that context. By "doesn't really matter", I meant in the sense that I had just described, eg. that it "cannot go wrong".
- kragen 2y agoI agree, if we're talking about Milner's sense (he means roughly "can't produce a runtime error").