PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
{dede:pagebreak/}
什么事情是你待在西安才知道的?
为什么供应链桃子只有小米雷军可以摘,其他人只能干瞪眼?
网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
PHP现在真的已经过时了吗?
哪一句话让你沉默了很久?
如何看待华人派遣赴日it彻底崩了?
为什么玄戒芯片的热度突然就下来了?按理说这应该是轰动全国的大事啊?
JetBrains 放弃 AppCode 是否是一个错误决定?
颠覆空调形态,美的无外机嵌入式厨房空调新品是黑科技还是噱头?
人为什么需要睡觉?人睡觉的时候身体都在做什么?
你后悔买领克了吗?
广东怀集遇历史最大洪水,约 30 万人受灾,积水最深处达 3 米,目前当地情况如何?
2025年小米su7 性价比很低了,为何还不更新改款?
现在个人博客不能备案了吗?
我听说Windows12微软就直接重头构建Windows了,就直接重构Win内核了,到底是不是真的?
瑜伽裤和牛仔裤哪个更显身材?