PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
如何看待极客湾评测麒麟X90的性能与表现?
如何看待极客湾评测麒麟X90的性能与表现?...(144 )人阅读时间:2025-06-26 10:10:14
数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?
数据库不就是增删改查一些数据吗?研发一个数据库到底难在哪了?...(144 )人阅读时间:2025-06-26 10:10:14
跟一对情侣合租的感受?
跟一对情侣合租的感受?...(144 )人阅读时间:2025-06-26 11:30:15
2025年,为什么很多程序员都扔掉了Mac和Linux,开始拥抱Win11了?
2025年,为什么很多程序员都扔掉了Mac和Linux,开始拥抱Win11了?...(144 )人阅读时间:2025-06-26 11:10:15为什么现在吹Rust的人这么多?
为什么现在吹Rust的人这么多?...2020-02-21ssd固态硬盘sata的好还是m.2好呢?
ssd固态硬盘sata的好还是m.2好呢?...2020-02-21如何看待苹果在 WWDC25 发布的 Foundation 模型框架,它将为开发者和用户带来哪些改变?
如何看待苹果在 WWDC25 发布的 Foundation 模型框架,它将为开发者和用户带来哪些改变?...2020-02-21程序员需要用到内置kvm功能的显示器吗?或者是外置的kvm切换器吗?
程序员需要用到内置kvm功能的显示器吗?或者是外置的kvm切换器吗?...2020-02-21