未来只有两个大方向:
1. 不需要编程语言,一切都是自然语言描述,llm成为黑盒子端到端解决一切。这个方向lisp是不可能的,这个方向一定要有个语言的话那也会是yaml。
2. 需要编程语言,用强规则系统来约束和弥补llm的不确定性。这个方向的极致是走形式化验证的编程语言,rust并不是这个方向的佼佼者,但在工程语言里面rust目前是这个方向最好的。
【 在 VincentGe 的大作中提到: 】
: rust表达能力太差了,我现在一般用Python,Python不行用go,go不行用cpp,rust一点动力都没有。
: 而且,我感觉现在大家是越走越回去了。
: 未来一定是高级语言的,我非常看好lisp。
: ...................
--
FROM 116.233.45.*