4 ms·
You might find this relevant https://news.ycombinator.com/item?id=10772841 https://news.ycombinator.com/item?id=10772841 What you want is not another language
by dependenttypes 7y ago
You might find this relevant https://news.ycombinator.com/item?id=10772841 https://news.ycombinator.com/item?id=10772841
What you want is not another language but a compiler that has a well defined behaviour and is not willing to change it between versions when UB in the C standard is triggered.