lisp和yaml的表达力是差不多的，类似于声明式编程，这点比较类似的是css。因此lisp我是看好的，不论是ai生成还是自己写。
你提到的第二点很棒。
这点我没有想到，这一点好像陶哲轩在搞，不过是在数学领域。
工程方向其实感觉似乎不太行，其一是业务实际和理论是有差距的，其二是过于严格的验证最后必然就是各种黑魔法（unsafe）盛行
【 在 lvsoft 的大作中提到: 】
:
: 未来只有两个大方向：
: 1. 不需要编程语言，一切都是自然语言描述，llm成为黑盒子端到端解决一切。这个方向lisp是不可能的，这个方向一定要有个语言的话那也会是yaml。
: 2. 需要编程语言，用强规则系统来约束和弥补llm的不确定性。这个方向的极致是走形式化验证的编程语言，rust并不是这个方向的佼佼者，但在工程语言里面rust目前是这个方向最好的。
:
#发自zSMTH@23054RA19C
--
FROM 113.143.105.*