PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
PC电脑能不能当服务器用?
PC电脑能不能当服务器用?...(144 )人阅读时间:2025-06-27 01:20:11
护眼台灯、防蓝光眼镜是智商税吗?
护眼台灯、防蓝光眼镜是智商税吗?...(144 )人阅读时间:2025-06-27 02:55:10
小米YU7发起24小时耐力挑战,该测试是为了体现电动汽车的哪些产品力?对电动汽车来说有哪些挑战?
小米YU7发起24小时耐力挑战,该测试是为了体现电动汽车的哪些产品力?对电动汽车来说有哪些挑战?...(144 )人阅读时间:2025-06-27 02:55:10
Todo清单、闪点清单、微软TODO、番茄todo、滴答清单、奇妙清单,哪个待办事项App更好用?
Todo清单、闪点清单、微软TODO、番茄todo、滴答清单、奇妙清单,哪个待办事项App更好用?...(144 )人阅读时间:2025-06-27 02:10:10