PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
为什么大家不再提星链了(包括外网)?
前端 css 中的 Grid 属性有哪些?
为什么那么多人用GO?GO语言的优势在哪里?
手机为什么不取消SIM卡,使用esim,这样手机卡槽取消了不就能省下很大一部分空间了吗?
为什么在中国搞不出 Spark 和 Hadoop 这种东西?
27寸显示器是否有必要到4K?
有哪些是你用上了mac才知道的事?
为什么中国主机带宽比美国贵5倍(原来错误的10000倍),比如阿里云?
始终怀不上孕是种怎样的体验?
为什么没有人在意iPad Pro 2024标准版仅搭载的8GB内存(RAM)?
电话:
座机:
邮箱:
地址: