PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
程序员需要用到内置kvm功能的显示器吗?或者是外置的kvm切换器吗?
程序员需要用到内置kvm功能的显示器吗?或者是外置的kvm切换器吗?...(144 )人阅读时间:2025-06-22 15:50:11
为什么开发一个 AI Agent 看似容易,但真正让它「好用」却如此困难?技术瓶颈主要在哪里?
为什么开发一个 AI Agent 看似容易,但真正让它「好用」却如此困难?技术瓶颈主要在哪里?...(144 )人阅读时间:2025-06-22 16:20:11
北京日报点名批评“苏超”过度娱乐化的动机是什么?
北京日报点名批评“苏超”过度娱乐化的动机是什么?...(144 )人阅读时间:2025-06-22 15:20:10
销量爆炸的华为nova14是不是证实华为已经腾出精力来收复中端市场了?
销量爆炸的华为nova14是不是证实华为已经腾出精力来收复中端市场了?...(144 )人阅读时间:2025-06-22 15:30:12