PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
你为什么从腾讯离职?
国产手机APP为什么越来越臃肿?
有哪些故意缩短产品寿命的设计?
为什么低个子男生更喜欢身材大很多的大女孩?
低功耗web服务器 迷你主机 小型服务器 求推荐?
华为官宣鸿蒙 HarmonyOS 5.1 将于 7 月开启升级,对此你怎么看?会选择第一时间升级吗?
为什么大学成抑郁重灾区?
如何在 Golang 中进行字符串处理?
为何 Linus 一个人就能写出这么强的系统,中国却做不出来?
为什么说微软 Win11,有苹果 macOS 的感觉?
电话:
座机:
邮箱:
地址: