PL界的函数式,抽象成数学函数的相互调用,没有中间状态,直接从计算机退回到计算器,他们忘了计算机的发明区别于计算器,就是内外存,就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适,而非通用计算机领域。
Rust也是本质上就偏了,所有权唯一,不就是用栈吗?这类语言多了去了,比如Pascal Ada,Ada的方言Spark可是通过形式化验证的哦,你Rust拿头比?连C也可以内存安全啊,都用静态数组就是了,int foo[256],需要…。
说一个最近巴黎奥运会的吧: 51岁的「前军士长」土耳其选手尤...
在Android系统上停止携带32位和X86原生库,并且放弃...
当你需要做一个项目,github正好有一个的时候,如果是st...
我在美国坐了一趟火车,才明白为什么他们不建高铁 去年在洛杉矶...
给小孩Youtube Kids,陪他玩Minecraft,他...
自从苹果发布 M1芯片, 后去实体店上手玩了下, 当场直接决...