编程的自由空间,是广阔的。
自由的行动,却形成混沌的轨迹。
混沌中有没有结构?
Rust 实际是把以前人为抽象出来设计模式/编程规范中的一部分,做形式化(符号化,结构化)的一次努力。
在定义一个基本概念集,和基本的结构化的理论基础上,做推论。对之前的混沌系统,抽丝剥茧,层层推进。逐渐构建起,坚如磐石的新的软件大厦。
在这个剖析化的过程中,也确实遇到一些奇点(临界点),这些必须用unsafe跳出理论去克服。于是出现了各种智能指针。
这条路还在继续下去,目前来看,非常有前景。
从大的空间来看,这只是找到的一个方向,有没有其他方向,暂时未知。
Rust,正在为我们,构建混沌中的秩序。
1
共 4 条评论, 1 页
评论区
写评论可以沿这个思路深挖一下。
形式化编程?
不知道为什么我忽然想到了Ramsey定理……
混沌中总蕴含规律
没形式逻辑的建立,哪来图灵的计算理论。
参看逻辑与形式逻辑的历史。