47 points thatxliner 2 hours ago 8 comments

ranger_danger 20 minutes ago | parent

Maybe this time could be used to consider memory safety much more seriously.

GalaxyNova 11 minutes ago | parent

Memory safety was solved in 1959 with the invention of lisp

hankbond 11 minutes ago | parent

Maybe my reading comprehension has just nosedived but I could not find where this article discusses what the heck Contracts refers to?

AlotOfReading 8 minutes ago | parent

You'll find plenty of info if you search for anything like "c++ contracts" [0], but the short of it is that they're just pre/post conditions on functions. Slightly improved assertions, basically.

[0] https://en.cppreference.com/cpp/language/contracts

SolarNet 5 minutes ago | parent

Its a very inside baseball article. Contracts is a proposed C++ language feature for improving programmable assertions of program state. E.g. a better c++ version of C's assert function. That in theory will improve both safety and performance by letting people add more complex assertions (e.g. pre/post conditions) to functions.

vivzkestrel 9 minutes ago | parent

- since you are a part of the voting group, i have a doubt

- let us say tomorrow everyone were to consider removing all unsigned variables across c++

- what is the impact in terms of compatibility for all the old c++ applications which i believe would be millions of them if not billions?

- the reason i ask is they say do not unsigned anything as much as you can because overflowing the bottom below 0 is easy

- has there ever been any consideration to get rid of unsigned xyz in c++?

voakbasda 6 minutes ago | parent

I feel like this is a bellwether event for society at large. Growing impasses between more and more segments of society. Diminishing trust leading to the inability to reach consensus. Maybe it’s just me though.