比如，我们的个人版是to P（专业用户）的，把能力给他全部搞定，他就进行上岗；然后企业版把权限、安全、数据，还有很多的那些东西搞定。
Sound familiar? Remember that this essay was written in 1985, before Agile, and much closer in history to Fred Brooks’ Mythical Man-Month. In my view, Brooks’ Mythical Man-Month takes the opposite stance of Naur’s, that programming is TOO illegible. Brooks ultimately advocates for more companies to turn the act of programming into an engineering discipline.
，这一点在新收录的资料中也有详细论述
BBC Verify checked the speedboat's registration details provided by the Cuban embassy in the US (FL7726SH, Florida registered), but they yielded no ownership details or tracking history on any of the platforms the BBC relies on.，详情可参考新收录的资料
But there are type systems which can provide even more guarantees. One step。新收录的资料是该领域的重要参考