PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
上一篇 : 为什么 Linux 软件安装包会有依赖关系,而 Windows 软件安装包不需要?
下一篇 : 网络小白如何建立一个网站,供别人下载文件(主要是PDF和MP3)?
有个少数民族的女朋友是什么体验?...
小米汽车官方解释了刹车盘生锈属于正常现象,并提供了两种除锈功能,这些措施是否足够有效?...
鸿蒙电脑会在国内逐渐取代windows电脑吗?...
PHP现在真的已经过时了吗?...