摘要： JetBrains公司，Kotlin编程语言的创造者，正在开发一种新的编程语言，旨在使人工智能和代码更加可控和透明。JetBrains首席执行官Kirill Skrygan在7月23日的采访中详细介绍了该公司关于这种尚未命名的语言的计划，该语言将使用更高的抽象级别来描述程序。Skrygan回顾了计算机代码最初是用汇编语言编写的，然后发展到C和C++等更高层次的抽象级别，再到Java和C#等更高的层次。他表示现在是时候进一步提升了。这种“整体架构程序”将使AI代码生成更加可控、透明和有用。JetBrains正在探索如何使这种新语言成为Kotlin的衍生品，但Skrygan认为这种衍生品应该是英语。例如，创建一个可在iPhone、Android、Web或其他平台上运行的多平台应用程序时，可以不用编写三个应用程序，而是使用一种基本上是英语的特殊编程语言来描述希望看到的应用程序的方式，然后AI代理与JetBrains工具一起生成所有这些平台的代码。
讨论： 这段内容主要讨论了大型语言模型（LLMs）在编程领域的应用和挑战。一些用户认为，LLMs应该生成更加规范和严谨的代码，例如使用Eiffel或Lean/Rocq等语言，以便通过严格的编译器来验证代码的正确性。同时，也有用户质疑这种语言是否应该被称为编程语言，还是仅仅是一种带有结构的提示方式。讨论中还涉及到了LLMs生成代码的可行性和可靠性问题，以及与现有编程语言的比较。一些人持乐观态度，认为这是一种创新，而另一些人则持怀疑态度，认为这可能是过去常见的概念重提。
原文标题：JetBrains working on higher-abstraction programming language
原文链接：https://www.infoworld.com/article/4029053/jetbrains-working-on-higher-abstraction-programming-language.html
讨论链接：https://news.ycombinator.com/item?id=44901885