PL界的函数式，抽象成数学函数的相互调用，没有中间状态，直接从计算机退回到计算器，他们忘了计算机的发明区别于计算器，就是内外存，就用来保存状态的。

他们研究FPGA或显卡之类的管线编程更合适，而非通用计算机领域。

Rust也是本质上就偏了，所有权唯一，不就是用栈吗？这类语言多了去了，比如Pascal Ada，Ada的方言Spark可是通过形式化验证的哦，你Rust拿头比？连C也可以内存安全啊，都用静态数组就是了，int foo[256]，需要…。

上一篇 : 如何评价《灵笼 2》第六集？
下一篇 : 青蒿素的研发成功证明了中医药是宝库还是百无一用 ？