< 返回我的博客

Mike Tang 发表于 2020-06-13 14:31

编程的自由空间,是广阔的。

自由的行动,却形成混沌的轨迹。

混沌中有没有结构?

Rust 实际是把以前人为抽象出来设计模式/编程规范中的一部分,做形式化(符号化,结构化)的一次努力。

在定义一个基本概念集,和基本的结构化的理论基础上,做推论。对之前的混沌系统,抽丝剥茧,层层推进。逐渐构建起,坚如磐石的新的软件大厦。

在这个剖析化的过程中,也确实遇到一些奇点(临界点),这些必须用unsafe跳出理论去克服。于是出现了各种智能指针。

这条路还在继续下去,目前来看,非常有前景。

从大的空间来看,这只是找到的一个方向,有没有其他方向,暂时未知。

Rust,正在为我们,构建混沌中的秩序。

评论区

写评论
作者 Mike Tang 2020-06-14 01:24

可以沿这个思路深挖一下。

形式化编程?

Neutron3529 2020-06-14 00:05

不知道为什么我忽然想到了Ramsey定理……

混沌中总蕴含规律

作者 Mike Tang 2020-06-13 16:57

没形式逻辑的建立,哪来图灵的计算理论。

作者 Mike Tang 2020-06-13 16:56

参看逻辑与形式逻辑的历史。

1 共 4 条评论, 1 页