PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
上一篇 : 为什么 macOS 并不差,可市场总敌不过 Windows?
下一篇 : 《我的团长我的团》中有哪些细思极恐的细节?
二手主机市场里的。处理器为英特尔e5 12核24线程的机特别多,为何?...
Gemini 2.5 Flash 和Pro稳定版上线,和之前版本相比,在性能和应用场景上有哪些提升?...
800V是什么技术,为什么特斯拉不跟进?...
开战斗机从上海到北京要多久,那是一种什么样的体验?...