PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
{dede:pagebreak/}
哪张照片让你觉得刘亦菲美得不可方物?
为什么全世界无一人能实现新mac直接全功能稳定装Win 11 arm,或PC直接装macOS arm?
现在的中国打的过美国吗?
女婿不喜欢去丈母娘家的原因是什么?
为什么现在没人提猎鹰9号了?
C罗赠送特朗普球衣:致唐纳德•特朗普总统,为和平而战。如何评价?
马上领证了,发现男朋友离不了游戏,让他少打游戏他会非常生气,正常吗?
发生了什么导致你从此再不吃某样食物?
为什么Rust的包管理器Cargo这么好用?
你从什么时候开始感觉孩子不属于你了?
蜂鸟音乐指控邓紫棋侵权,要求 48 小时内下架重录歌曲,邓紫棋回应「不会下架」,这一指控合理吗?
为什么小爱音箱只能播放qq音乐免费音乐?
目前最好用的免费剪辑软件是什么?
如果你是《一帘幽梦》里的绿萍,你会不会最后原谅紫菱?
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗?
打下来全部的星链近地卫星好打么?