编程不是人的事

编程不是一个人的事，就像结婚不是两个人的事，而是两个家庭的事。
如果只是一个人编程，没必要使用rust。因为rust与C/C 互操作能力差，一旦涉及C/C 调用，unsafe满天飞。还不如直接用c/c 来得方便，如果考虑安全性，可以用coq辅助证明。
国外可靠性操作系统的开发，就是C语言 coq。
因为rust目前还不具备形式化证明能力，如果rust coq，实施起来难度太大。
如果是多人编程，rust的好处是能提高团队协同性淘汰猪队友。
rust的意义就在于在编译期就发现问题，促进软件开发者尽早解决问题，因为越晚发现问题，造成的损失就越大。就像婚姻中，一方等到生了孩子才知道对方是人渣一样，那时离婚的成本就太大了。
以前穷的时候，男女二人能搭伙过日子，就像电影《牧马人》、《隐入尘烟》一样。..........................
现在富了，男女结婚事关重大，涉及两个家庭的财富问题，因为凭年轻人的钱根本买不了一套房，需要六个钱包支援，因此父母就有了发言权。
如果涉及微软这样的大公司，还需要在董事会上讨论，公司律师会介入。因为两人一旦离婚，会影响公司的股价，影响股东的利益。
所以，我相信，以后男女结婚一定会经过一套rust式要检验，如果编译器不通过，两个人可能根本就不会相遇，就没有以后了。
阶层固化就是一套rust模式，两个不同价值观的人不可能在同一个学校上学。
很多人讽刺编剧很努力地想像穷人的生活：
穷人的月收入只有15K。
穷人的一居室只有140平米。
穷人的孩子哪怕吃不上饭，也能上贵族学校（电影《长江七号》）。
目的就是为了满足穷人的想像，很多灰姑娘希望能遇到王子，即使省吃俭用也要买水晶鞋。
当然仅仅是阶层固化还不够，那只是C/C 的安全编程规范，还需要更严格的规范，如满足MISRA，ARINC等要求。
根据这些规范，不允许使用多线程，不允许使用中断，不允许使用递归……
满足这些要求的婚姻虽然万无一失，但能把人压抑死，所以在电影《泰坦尼克号》中露丝郁闷得想要跳海。

这篇好文章是转载于：学新通技术网