PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
AI如何辅助编程?
Linux下监控流量一般使用什么工具?
国内有比较好的团队文件共享平台吗?像dropbox的team版本一样的。
《诛仙》中有哪些捧腹大笑的剧情?
游戏王里有哪些「名不副实」的卡?
我应该设置多少kb才能让他不能玩游戏?
为什么我感觉gemini 2.5 pro总是用力过猛?
美国投掷 6 枚钻地炸弹袭击伊朗福尔多核设施,钻地弹有多大杀伤力?能摧毁伊朗地下核设施吗?
孩子为什么越大越不愿意跟我们说话?
中国的稀土真的能卡住世界的脖子吗?
电话:
座机:
邮箱:
地址: