如果要设计一个最适合AI使用的编程语言，那么这个语言是什么样子的？
解释型语言？最好还是静态类型的。
几个亲身经历的反例：
- 需要编译的语言，比如C++，运行报segment fault时AI根本没法调试，需要人工介入用gdb看coredump，比较麻烦
- 动态类型语言，比如python，如果只给它看一个代码片段的话，它根本不知道这个函数返回的对象类型是什么，只能猜这个返回值类型，结果代码运行了十多分钟运行到那个点报错，gg；相比之下，静态类型语言可以在编译阶段把问题报出来
正面例子：typescript，kotlin，这两个感觉比较合适
不该缩进敏感，或者可以手动写作用域
有一个很好的类型系统和强大的lsp实时反馈错误
其实我觉得ocaml的特性很适合ai来着
我觉得rust就很不错 严格形式化 可读性极强的报错
1 个赞