Post #1770

面向 AI 的编程：是时候该坐下来应对不确定性了 不纯的函数在工程上有很多问题。比如说，代码复用困难、测试困难、并发控制困难等等。所以有一部分工程师傅号召大家使用更纯的函数式编程语言，或者编程范式来解决这些问题，不过依然很难。 现在更棘手的事情出现了。因为我们要面向以 LLM 为首的 AI 编程了。 比如说这么一段 prompt 输入给 ChatGPT： please tell me the phonetic, definition of word "look", with a sentence as an example. 相信它每次都会给予一个不一样的输出。 当然，这是非常符合现实的，本来自然世界中的大部分信息都不是形式化的，自然界也不会给我们一个接口文档。程序长大了，需要自己想办法理解不确定性了。 https://quail.ink/lyric/p/programming-for-ai