我想未来应该没有, 或者说没有必要使用编程语言了吧

[orlog]

众所周知现在的趋势是面向 ai 编程了，本质上也就是人类已经可以用自然语言直接跟机器沟通了
看到有些大厂还在沉迷于研发新的编程语言，我觉得是有点陈腐了

[kmyzzy]

我宁愿用编程语言，自然语言说着多累啊。

[Dispatcher]

楼主代表了很大一群人的，最朴素的，最低级的观点。
这就是外行人看内行的独特视角。

他们觉得 ai 可以解决衣食住行等等一切问题，是救世主。殊不知这是媒体和商业公司给他们洗脑的结果。目前所有落地的所谓 ai 功能、ai 项目，实际上几十年前都有完善的开源算法，当前只是套了个 ai 的外衣而已。毕竟，落后的项目+传统商业模式+ai 外衣+瞎鸡儿宣传=赚钱。所以不只是 wps ，未来还会有更多的公司，除了普通的会员外，还会卖所谓 ai 会员。

比如 wps ，pdf 导入、ocr 等所谓 ai 功能，声称是 ai 加持，实际上几十年前就有很很很很完美的算法，且商用很久了。只是很多小白不知道，不要说外行人，就是 it 从业者，不涉及这个方面的，也几乎都是不知晓而已。

不论是语音识别、图片生成、人声剥离、路径规划，还是铁路调图、自动驾驶等等，不论是和 ai 有关的，还是无关的，哪怕是小电扇，都要说自己有 ai 芯片。智能手表+语音助手、windows+语音助手，号称可以更好的实现操作，这特么不就是扯淡吗。效率不如批处理，直观不如控制面板，难怪现在很多人都是赛博文盲。

还有的人认为，ai 是银色子弹，可以解决所有目前遇到的一切难题。做交易亏损了？用 ai 去搞高频；核聚变搞不定？交给 ai ；我是不敢想象，不知道，把自己的身家性命交给黑盒（ ai ）的人，是什么想法，胆量有多大。

楼上有人说 ai 自举才是转折点，我觉得不尽然。目前的 ai 是和人类抢饭碗，裁掉美工、设计等等，而不是初衷的辅助人类。

而且现在的 ai 不要说觉醒，自我意识，什么都没有，只是 garbage in ，garbage out ，语料都是脏脏的，还能指望💩里翻出来金针菇、虾仁儿呢？

最后再说一个，即便，有一个服务说，自己的 ai 模型可以实现一键生成网站、程序，要么是极其简单的 printf 程序，要么就是背后有一个模板，套模板而已，再不济，还有 400 个印度老哥在线冒充 ai 呢~

[orlog]

@whileFalse 量子计算机和核聚变发电，技术上还存在没有攻克的瓶颈，未来能不能实现都还是未知数。而自动驾驶和自然语言编程可以说是已经在应用阶段了，实现和普及并不存在大的障碍

[orlog]

@Dispatcher 注意这个帖子只讨论编程，并不想涉及“ai 觉醒”。看到你们好多人都提到了 ai 自举，但我想说对于一个编程工具来说，他始终是需要人来操作的: 面向 ai 的自然语言将取代编程语言，但不等于说 ai 将取代程序员

[aliveyang]

如果机器能完美理解人类，那么给它一个传感器，它未尝不能理解现实世界，那么人还有什么用呢

[xtreme1]

语言是思维的外壳.
没有编程经验的人, 不知道编程时思维的运转方式, 并且不知道自己不知道, 总以为学习编程的困难在于编程语言和自然语言差异太大, 而不是程序设计思维与日常交流思维差异太大.
恕我翻了一些你的历史发言, 是有编程经验的, 不知道为什么会有这种想法.
用自然语言生成一些模板代码没问题, 但如果取代一切, 为了程序的正确性, 顺着自然语言走下去必然是符号逻辑的范畴, 我觉得对于大部分人, 还是编程语言更好理解些.

[orlog]

@xtreme1 对于编程来说，语言只是外壳，更重要的是设计思维和逻辑 - 这点我们看法是一致的。分歧在于, 使用一个专门的“编程语言”是否有必要。我觉得大部分应用场景自然语言更简单直接，即便涉及到稍微底层的实现细节，也可以借助引入轮子或者某种缩略语框架的形式来解决，而再深入的涉及硬件和驱动的细节，可能是需要汇编语言或者是人工调试机器码，不过这应该已经脱离了程序设计的范畴

[cmdOptionKana]

@orlog

Python 、Java 、PHP 等等，这些有 GC 的语言很好用，在很多业务场景比无 GC 的 C++ 之类方便很多。

但是，有没有人用 Python 、Java 、PHP 写操作系统、写浏览器引擎吗？

所谓的“低代码”又比 Python 、Java 更方便，但应用场景就更有限了。

--------

AI 可以先取代“低代码”，再发展一段时间取代 Python 、Java 之类，但想取代 C++, Rust, 用 AI+人类语言去描述一个浏览器引擎，那就很遥远了。

然后再到军事、高度机密之类的领域，试错成本非常高。举个例子，银行系统整个交给 AI 去处理，或人类语言告诉 AI 该怎么处理 ，但实际执行层面是个黑盒，到这个程度需要非常信任 AI ，人类无法审核代码，这又比 AI 编写浏览器引擎难很多倍，也许能实现，但你说“很快”，貌似需要提供比较硬的论据才行吧。

[orlog]

@cmdOptionKana 无论自然语言还是编程语言，都不能期望用简单一句话或者一行代码就解决复杂问题，这我在上边的回复已经补充说明过了，语言只是你与机器沟通的工具，本质上还是人与机器之间思维和逻辑的传递。如果程序员对于业务逻辑本身一点也不了解，无论用自然语言还是编程语言都是无能为力的

[cmdOptionKana]

@orlog 那到了浏览器引擎这个程度，AI+人类语言的优势是什么?

[orlog]

@cmdOptionKana 跟具体业务领域没有关系的，无论是给飞机还是导弹编程，还是浏览器，都是要输入人类的逻辑。程序员首先自己要懂飞机和导弹的运行原理，或者说他手上必须有一份接口文档和功能说明，才能去编程，不要指望丢给他一句话他就自己上网查到所有技术细节。
上边还有人回复说害怕 ai 会出错，所以需要人工审核代码的，可是你就算用 rust, c++编程也一样啊，程序员也不能去审核编译后的二进制码吧

[cmdOptionKana]

@orlog

> 你就算用 rust, c++编程也一样啊，程序员也不能去审核编译后的二进制码吧

rust, c++ 生成的二进制，是可控的，有非常清晰和严谨的逻辑，而且就算出错，也是简单的意外错误，而不可能违背人类意愿埋后门。

AI 生成的二进制，是黑盒子，逻辑不清晰不严谨，而且 AI 的智力达到这个级别时完全有能力埋后门。

这两者的区别你能理解吗? （从前面和你交流的过程来看，你好像一直不理解什么是黑盒）

[lindt99cocoa]

思而不学则怠。编译原理已经从理论上说明了为什么自然语言不能作为编程语言，而需要引入形式语言。形式语言的正确性可以通过形式化证明保证。这些都是 AI 无法解决的问题，就像 AI 无法解决停机问题一样。如果你是说纯文本的编程语言是否会消失，那可以了解一下低代码，在很多简单场景已经成熟了。

[orlog]

@cmdOptionKana 先解释下，我喜欢遵循奥卡姆剃刀原则，在技术讨论中，不喜欢引入没有必要的术语和概念。
对于你说的严谨和准确度的问题，首先这不是自然语言的问题，是语言或行文中有没有加入足够的限制性前提，以保证不存在含糊和模棱两可的表达的问题。其次程序员的编程通常都只是整个项目的其中一个环节而已，其他环节都是人与人之间用自然语言沟通的，也都有不准确不严谨的可能性。只不过现在要把错误的责任者从程序员身上转嫁到 ai 了，就会因为没有人类背锅而变得不可控了吗？

[cmdOptionKana]

@orlog

人会犯错，人会故意搞破坏，人可能是内鬼。

但即便如此，人也比 AI 更可控。因为人是背景的，而且通常背景很简单，一个具体的人，他的需求是什么，他的软肋是什么，很容易掌握。到了比较严格的领域，也可以通过各种手段去深入了解一个人。

但是 AI 有了高度智力之后，它有什么需求，它有什么软肋，要研究明白这个总需要一个比较长的时间吧？

信任自己国家的人比较容易，但是军官要职，有没有让外国人担任的，有多少？
而高智商的 AI 是比外国人更不可控、更难理解的东西。人类社会发展了几千年都不敢轻易相信外国人，你觉得能轻易相信 AI ？

[jaTomn]

计算机需要的 100%的逻辑精准表达，概率训练出来的模型，只能尽可能猜对，但只要 0.0001%的概率猜错，就没人敢信任他。

[orlog]

@lindt99cocoa 我相信这依然是自然语言准确度的问题了，我在上一个回复里已经解释了。形式语言的准确度来自于他的限定性，对于少数需要准确表达的场景，理论上只要给自然语言加上足够多的限定条件也一样能达到效果，这其实就是你在协助 ai 进行语词分析。停机问题和和上边有人提到的自举问题一样，不在本帖讨论范畴以内，我一直在说依然是需要专业的人类程序员来操作的

[lindt99cocoa]

@orlog 小城里的理发师放出豪言：他要为城里人刮胡子，而且一定只要为城里所有“不为自己刮胡子的人”刮胡子。请使用 AI 解决这位理发师是否为自己刮胡子的问题

[orlog]

@lindt99cocoa 只要简单的告诉 ai ，理发师自己除外就行了啊。可能你会说，程序员无法了解到 ai 在处理过程中是否碰到了这类问题，但这就是人类程序员存在的意义了，我们可以协助 debug 这些问题

[wph95]

> 我想未来应该没有, 或者说没有必要使用编程语言了吧
是很有可能的方向。
自然语言只是最好收集数据的方法。并不一定是 LLM 最高效的办法。

> 看到有些大厂还在沉迷于研发新的编程语言，我觉得是有点陈腐了

高校们 (CMU, MIT) 都还在研究新编程语言/传统架构。 有点陈腐了。
你说的给 AI 的编程语言起码顶会里一个没有。连基于 semantic/代码片段 而不是 token 做的都没。