TCzajka倡议逐步淘汰C++并强调形式化规范

开发者 TCzajka 公开主张逐步淘汰 C++，认为该语言已演变为难以完整理解的复杂系统；他表示自己过去会通读新标准的每一条，但自 C++17 后便不再跟进。 Thomasahle 转发并引申称，在 AI 参与代码编写的环境下，为保障安全，需要以形式化规范描述预期行为并证明代码正确，探索新的规范写法具有积极意义。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。