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

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

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