- 主题:我这算本版元老了吧？
rust表达能力太差了，我现在一般用Python，Python不行用go，go不行用cpp，rust一点动力都没有。
而且，我感觉现在大家是越走越回去了。
未来一定是高级语言的，我非常看好lisp。
【 在 lvsoft 的大作中提到: 】
:
: 我就是2003年all in python的。
: 最近见了一个十五年没见的朋友，他跟我咨询他儿子学计算机现在应该学啥语言，我脱口而出rust，但想了想他儿子也不是计算机的，就想改口说这只是我的个人观点，rust目前还是一门很小众的语言，而且未来也有很多不确定性，门槛还很高，不一定合适他儿子。
:
: 结果他就说当年跟我一起做项目，我在那个时候就在推荐并且自己all in了python。我当时就说未来一定是Python的，他是销售并不懂计算机，但他记得当时很多人都非常质疑我的判断。现在20年一过，时间证明了我当初的判断，所以这次我说啥他都信，回去就摁着他儿子去学rust了...
#发自zSMTH@23054RA19C
--
FROM 36.40.130.*
lisp和yaml的表达力是差不多的，类似于声明式编程，这点比较类似的是css。因此lisp我是看好的，不论是ai生成还是自己写。
你提到的第二点很棒。
这点我没有想到，这一点好像陶哲轩在搞，不过是在数学领域。
工程方向其实感觉似乎不太行，其一是业务实际和理论是有差距的，其二是过于严格的验证最后必然就是各种黑魔法（unsafe）盛行
【 在 lvsoft 的大作中提到: 】
:
: 未来只有两个大方向：
: 1. 不需要编程语言，一切都是自然语言描述，llm成为黑盒子端到端解决一切。这个方向lisp是不可能的，这个方向一定要有个语言的话那也会是yaml。
: 2. 需要编程语言，用强规则系统来约束和弥补llm的不确定性。这个方向的极致是走形式化验证的编程语言，rust并不是这个方向的佼佼者，但在工程语言里面rust目前是这个方向最好的。
:
#发自zSMTH@23054RA19C
--
FROM 113.143.105.*
毕竟lisp不怎么现代了
也却一些热点
我记得当年有谁判断未来的编程语言一定是表达力强
估计是没想到，到了现在，性能还是大家做取舍的第一项
【 在 gfkid 的大作中提到: 】
:
: 当年有个哥们也是非常喜欢lisp 还专门all in common lisp，不知道后来怎么样了
:
: lisp有很多很多方言，jvm上就有一个clojure，我还专门买了本书，虽然我觉得lisp思想很好。但是不认为lisp会火起来。
: 【 在 VincentGe 的大作中提到: 】
#发自zSMTH@23054RA19C
--
FROM 113.143.105.*