3 ms·
One example of a compiler catching some issue isn't evidence. It's an anecdote. There's no scientific experiment you could run that proves, or disproves, that
by pizlonator 1y ago
One example of a compiler catching some issue isn't evidence. It's an anecdote.
There's no scientific experiment you could run that proves, or disproves, that type systems lead to more correctness. It's a thing you cannot possibly know.
- yawaramin 1y agoWe already have scientific experiments that prove it. Here is a significant result: https://ieeexplore.ieee.org/document/7985711 https://ieeexplore.ieee.org/document/7985711 This is why I say that people who keep denying this are vibing based on their feels. Instead of asking for the evidence they just keep saying there can't possibly be any evidence.