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

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

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

上一篇： class="title">为什么负荷那么大的腰部力量训练的人不会受伤，长期无载荷久坐的人会出现腰肌劳损？

下一篇： 前端开发现在主流的技术有哪些？