Good. But contracts have a structural problem that the talk doesn’t address: they depend entirely on the developer writing correct and complete annotations. This is the “disciplined programmer” assumption that has been the central failure mode of C++ safety for 40 years. We gave developers const. They don’t always use it. We gave them smart pointers. They still use new. We gave them std::array. They still use C arrays. Every single opt-in safety feature in C++ history has had incomplete adoption because adoption requires discipline, and discipline doesn’t scale across teams, across dependencies, across decades of maintenance.
This whole thing is giving big MongoDB-2011 vibes. In many ways, really. The guys at Mongo launched a pretty shitty database with very impressive benchmarks, and eventually got builled by the internet (see: MongoDb is Web Scale) into implementing a proper storage engine. They acquired WiredTiger, which really is a proper storage engine. Fifteen years later, they are a serious and viable database company. And yet there’s still a lot of technical people who remember the early days of Mongo and refuse to use it in production or recommend it. Their information is outdated. Modern Mongo is a serious database that works. But the bad technical reputation lingers, and will linger forever.
，更多细节参见51吃瓜
МИД Ирана заявил о «начале конца» ООН20:48
While Brendon McCullum, along with managing director Key, is expected to get the backing of the England and Wales Cricket Board to continue despite a winter of overall discontent, it is understood that there is room to tweak the coaching group.