PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
{dede:pagebreak/}
准大学生一个月2500多吗?
女明星究竟可以有多瘦?
韩国作为发达国家,到底发达在哪?
现在工作中k8s是使用containerd还是docker来管理容器?
新修订的治安管理处罚法重构「被殴打还手即互殴」的认定标准,明确正当防卫免处罚,怎样从法律角度解读?
台湾是中国领土,那台湾海峡算是内海,为什么不击沉那些无理通过海峡的军事力量?
我十四岁的孩子不吃我做的饭,怎么办?
防关联浏览器都有哪些?哪些比较好一些?
k8s informer 是如何保证***不丢失的?
为什么钢筋放太多了反而不好?
为什么有人嘲笑练瑜伽的女性?
UBI(Universal basic income,全民基本收入)可行吗?
能否对比一下Claude Code和Gemini CLI,你的选择建议是?
为什么现在的年轻人活的都很通透?
如何评价游戏《无畏契约》「莽侠」这支枪?
如何看待 Rust 的应用前景?