PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
我的儿子随我姓,为啥婆家反应那么大?
我的儿子随我姓,为啥婆家反应那么大?...(144 )人阅读时间:2025-06-26 13:10:13
为什么不取消机关食堂,让公务员点外卖拉动内需,提供更多的外卖岗位?甚至倒逼食品安全大幅改善?
为什么不取消机关食堂,让公务员点外卖拉动内需,提供更多的外卖岗位?甚至倒逼食品安全大幅改善?...(144 )人阅读时间:2025-06-26 13:20:13
男女宇航员怎么解决生理需求?
男女宇航员怎么解决生理需求?...(144 )人阅读时间:2025-06-26 13:25:13
有一双超级大长腿是什么感觉?
有一双超级大长腿是什么感觉?...(144 )人阅读时间:2025-06-26 12:55:14