PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
上一篇 : 如何看待苹果在 WWDC25 发布的 Foundation 模型框架,它将为开发者和用户带来哪些改变?
下一篇 : 56 岁白岩松踢球摔倒久不能起,他目前情况如何?踢球时需要注意什么?
055万吨驱逐舰是不是有些被过于神化了,有没有了解的大佬详细解释一下?...
印度为什么一定要和中国作对?...
6 月 20 日,女篮热身赛,中国女篮 93-61大胜日本女篮,如何评价本场比赛?...
购买一台家用跑步机多少钱?...