PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
印度是真的烂还是咱们在信息茧房里面?
评价一下Proxmox VE与ESXi的优劣?
如何看待rust编写的zed编辑器?
如何评价Cursor?
一名女子在杭州万象城遭挟持被捅 20 多刀,隆胸***体救了一命,这反映出哪些公安系统的问题?
怎么才能有尤雨溪一半强,该怎么学习?
国外(GoDaddy)注册的域名如何在国内备案?
F-35作战半径1100公里,以色列距离伊朗首都德黑兰1600公里。以色列F-35是如何轰炸伊朗的?
中国的坦克基本每10年一代,为何99式之后就没有新型坦克了?
你为什么从腾讯离职?
电话:
座机:
邮箱:
地址: