PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
为什么人到中年,很少有身材苗条的?
为什么人到中年,很少有身材苗条的?...(144 )人阅读时间:2025-06-23 00:15:12
飞天茅台散瓶批发价跌破 2000 元,背后什么原因?收藏茅台还能增值吗?
飞天茅台散瓶批发价跌破 2000 元,背后什么原因?收藏茅台还能增值吗?...(144 )人阅读时间:2025-06-23 00:40:12
如何评价《三体2 · 黑暗森林》中四个面壁者?
如何评价《三体2 · 黑暗森林》中四个面壁者?...(144 )人阅读时间:2025-06-23 00:05:11
前端,后端,全栈哪个好找工作?
前端,后端,全栈哪个好找工作?...(144 )人阅读时间:2025-06-23 00:30:12为什么Rust的包管理器Cargo这么好用?
为什么Rust的包管理器Cargo这么好用?...2020-02-21ant-design-vue 社区为什么不维护了?
ant-design-vue 社区为什么不维护了?...2020-02-21北大「韦神」粉丝破 2000 万,评论区成高考许愿池,如何看待家长们纷纷从韦神这里「沾福气」的心理?
北大「韦神」粉丝破 2000 万,评论区成高考许愿池,如何看待家长们纷纷从韦神这里「沾福气」的心理?...2020-02-21明明无线鼠标有那么多优点,为什么还有那么多人买有线鼠标?
明明无线鼠标有那么多优点,为什么还有那么多人买有线鼠标?...2020-02-21