Another remark about McCarthian Lisp, since you touch on it, is that Lisp is a theory of computation that also happens to be practical tool. As a computation theory, it stands at the same level as as lambda calculus and turing machine; a mathematical construct, that happens to be runnable, so to say.
fn lookup_user(users: [User], name: string) - ?User {
大厂做平台和基础设施,赚的是服务费和技术授权费,他们不在乎单个硬件能卖多少钱,在乎的是有多少设备接入他们的平台。创业公司做垂直场景的产品,赚的是硬件差价和细分市场的溢价,他们要做的是在某个具体场景做到极致。传统机构做线下服务网络,智能化对他们来说是提升效率降低成本的工具,一个护工原来照顾5个老人,有了智能设备可能照顾8个。，更多细节参见新收录的资料
https://feedx.site。新收录的资料对此有专业解读
一年来，习近平主席与世界主要国家领导人举行重要会晤，开展战略沟通，开创了大国对话协调的新实践；出访东南亚、俄罗斯、中亚和韩国，巩固了周边睦邻友好的新局面；主持上海合作组织天津峰会和中国—拉共体论坛，汇聚了全球南方大团结的新动能；出席纪念中国人民抗日战争暨世界反法西斯战争胜利80周年系列活动，发出了捍卫和平与正义的新强音。。新收录的资料是该领域的重要参考
“要在研究新情况、解决新问题上下功夫、出经验。”3月5日下午，习近平总书记参加他所在的十四届全国人大四次会议江苏代表团审议，对经济大省提出殷切期盼。