PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
{dede:pagebreak/}
为什么女生要做大部分家务?
刘强东称「京东外卖很快就会出来一个跟美团完全不同的商业模式」,如何看待此回应?
如何评价b站陈睿和徐逸疑似减股跑路?
如何看待日本小学校园餐只有一小块鸡肉?
工程师离职,如果领导让你们把自己的技术教会一个人才能走,你们会教吗?
为什么 Qt 这么难用?
MacOS真的比Windows流畅吗?
Gemini 2.5 Flash 和Pro稳定版上线,和之前版本相比,在性能和应用场景上有哪些提升?
不是都说6月美债要爆吗 怎么没消息了?
不用CDN就没事,用阿里云CDN就被攻击刷流量,阿里云表示证明不了就要用户买单,如何看到这种行为?
你的亲戚提过什么过分的要求?
你怎么看待剪映收费过高问题?
为什么好多人不承认大众审美就是喜欢白皮?
Golang与Rust哪个语言会是今后的主流?
男女宇航员怎么解决生理需求?
老公想要买2万左右的相机,我该同意吗?