PL界的函数式，抽象成数学函数的相互调用，没有中间状态，直接从计算机退回到计算器，他们忘了计算机的发明区别于计算器，就是内外存，就用来保存状态的。
他们研究FPGA或显卡之类的管线编程更合适，而非通用计算机领域。
Rust也是本质上就偏了，所有权唯一，不就是用栈吗？这类语言多了去了，比如Pascal Ada，Ada的方言Spark可是通过形式化验证的哦，你Rust拿头比？连C也可以内存安全啊，都用静态数组就是了，int foo[256]，需要…。
大家猜猜伊朗的结局如何？
歼-20 在国际上到底是什么地位？
MacBook Air 与 MacBook Pro 差别多大？
我国的军工能力可以实现一天5000枚火箭弹连着炸三个月吗？
如何看待“京东外卖停止补贴后，日单量跌至两万单”这件事？
我国新一代载人飞船「梦舟」零高度逃逸飞行试验成功，该实验有怎样的意义？「梦舟」在未来会发挥哪些作用？
只是突然很好奇，已经造出了三艘航母，为何不能按照这样的模板，批量建造航母呢?
如何评价《海贼王》第1152话情报?
要不要帮导师装服务器?
韦东奕在北大会面临非升即走吗？
电话：
座机：
邮箱：
地址：
