编程不是一个人的事

编程入门行业动态更新时间:2024-10-08 08:31:30

编程不是一个人的事

编程不是一个人的事，就像结婚不是两个人的事，而是两个家庭的事。
如果只是一个人编程，没必要使用rust。因为rust与C/C++互操作能力差，一旦涉及C/C++调用，unsafe满天飞。还不如直接用c/c++来得方便，如果考虑安全性，可以用coq辅助证明。
国外可靠性操作系统的开发，就是C语言+coq。
因为rust目前还不具备形式化证明能力，如果rust+coq，实施起来难度太大。
如果是多人编程，rust的好处是能提高团队协同性淘汰猪队友。
rust的意义就在于在编译期就发现问题，促进软件开发者尽早解决问题，因为越晚发现问题，造成的损失就越大。就像婚姻中，一方等到生了孩子才知道对方是人渣一样，那时离婚的成本就太大了。
以前穷的时候，男女二人能搭伙过日子，就像电影《牧马人》、《隐入尘烟》一样。.....

更多推荐

编程不是一个人的事

本文发布于:2024-02-13 11:58:03，感谢您对本站的认可！

本文链接:https://www.elefans.com/category/jswz/34/1758494.html