这是一个创建于 55 天前的主题，其中的信息可能已经有所发展或是发生改变。
写一个最近做 AI 的感受，有了 LLM 后，做行业应用系统，需要具备行业的抽象能力，再将领域逻辑通过形式化语言进行抽象表达，即能实现多样性，同时具备 AI 生成，相信以后基础的编译原理，编译器开发会迎来春天...
-
精确描述领域逻辑，必须通过形式化语言描述，就像整个文档通过 Markdown 定义一样，如果能够将细分领域应该通过形式化语言，通过 functionCall, domainLogicExpression 表达，即能适配不同应用场景的多样性，同时，也能让 LLM 生成
-
编译器的目的是让 LLM 生成尽可能准确，虽不能 100% 保证，但通过抽象的形式表达，能够让使用者能够理解，通过多轮对话校准，就像程序员生成代码一样，只要能看懂，基本上还是能生成可以正确运行的代码。
 | 1 fate 2025 年 11 月 19 日 好、好、好 |
 | 2 YmSgrNov29 2025 年 11 月 19 日  42 我有罪，一眼看成做爱  |
 | 3 neilsangkuan 2025 年 11 月 19 日 我有罪... |
 | 4 baixixi 2025 年 11 月 19 日 还得是你小汁 |
 | 5 huang86041 2025 年 11 月 19 日 一眼看错....你是懂标题的 |
 | 6 JavaGo OP @YmSgrNov29 哈哈 |
 | 7 saberlove 2025 年 11 月 19 日 做做。。。。。 |
 | 8 itechify PRO xx 已退出直播间 |
 | 9 illios 2025 年 11 月 19 日 3 lz 是懂的 行业应用懂业务领域的不懂代码，懂代码的不懂业务，现在只需要懂业务的通过 AI 转化为形式化描述，再用现有系统把形式化描述实现了就 ojbk 了 |
 | 11 YanSeven 2025 年 11 月 19 日 没有看懂这里的编译器是什么，用来编译什么的。 |
 | 12 encounter2017 2025 年 11 月 19 日 感觉在重新发明编译器和程序员 |
 | 13 123zouwen 2025 年 11 月 19 日 骗我进来 |
| 14 JavaGo OP |
| 15 encounter2017 2025 年 11 月 19 日 6 《人月神话》：复杂性不会消失，只会转移。AI 没有消除本质复杂性，而是将其从编码环节部分转移到了设计、验证和集成环节，通过 ai 你可以让车子跑的比原来快 10 倍，但车子出问题的频率也会同样增加。 |
 | 16 tingichin 2025 年 11 月 19 日 1 兄弟，怪我，我的问题。 |
| 17 JavaGo OP @encounter2017 复杂性会随着理解的深入不断增加，传统 C 的编译到现在还在迭代，但至少我们现在不需要写汇编了。 |
 | 18 Aruforce 2025 年 11 月 19 日 via Android 能弄明白业务模型的…真的需要 AI 来生成代码么？ |
 | 19 zhhqiang 2025 年 11 月 19 日 检讨一下  |
 | 20 houOne 2025 年 11 月 19 日 @YmSgrNov29 +1 |
 | 21 lemonfishTBS 2025 年 11 月 19 日 不是我想看的内容！生气的回复生气的关闭 |
 | 23 xue777hua 2025 年 11 月 19 日 via iPhone 如果非要说这个帖子和编译器有关系的话，那就是 “编” |
 | 24 alading11 2025 年 11 月 19 日 点进来之前已经猜到了，OP 肯定讲的是 AI ，但还是存在一丝侥幸，说不定是乐子人故意发帖其实讲的是做 AI 呢，结果进来后大失所望 |
 | 25 Chatterleys 2025 年 11 月 19 日 1 今年熬夜不锻炼，时长从之前的 20 多分钟降到 10 多分钟了，双 11 买了延时小蓝瓶上周试了下效果还可以，重回 20 多分钟就是好累 |
 | 26 Aimozar 2025 年 11 月 19 日 via iPhone 没做过 ai |
 | 27 yulgang 2025 年 11 月 19 日 啊，我的眼睛。。。 |
 | 28 kursk 2025 年 11 月 19 日 我不理解 UP 要表达的意思，“再将领域逻辑通过形式化语言进行抽象表达” 什么叫做形式化表达，如果是类似 markdown 语法，那么是一种结构化语言，这也太麻烦了 |
 | 29 div class="sep3"> Q980q48Jgj6pRXoO PRO 1 没有看懂内容，但是看懂了标题 |
 | 30 kepenj 2025 年 11 月 19 日 看来还是我纯洁，看了评论才知道标题有点意思~ |
 | 31 keyouli18 2025 年 11 月 19 日 @YmSgrNov29 +1 |
 | 32 xyooyx 2025 年 11 月 19 日 要实现行业级落地，既要深刻理解行业业务，能够对复杂流程进行有效拆解；也要具备扎实的 AI 技术理解，才能在拆解后的每个环节中选择合适的工具、模型与提示词，实现精准还原与智能化提升 |
 | 33 zealotxxxx 2025 年 11 月 19 日 懂业务的人描述 -》转化为标准需求 -》代码实现 这个情况本身是产品经理做的事情，也就是通过 LLM 加速转化。理想是很好的 但是现实情况是 LLM 遵从性太好，不懂得辨别伪需求，以及验证实现。这两块需要投入更多资源来避免问题。 |
 | 35 qwwuyu 2025 年 11 月 19 日 啪的一下 我就点进来了 很快啊 |
 | 36 DreamSky123 2025 年 11 月 19 日 你是会做的 |
 | 37 xiaoshakj 2025 年 11 月 19 日 哈哈哈哈哈 |
 | 38 WuDiHaiTai 2025 年 11 月 19 日 我有罪,我是一个思想淫乱的人。 |
 | 39 mightybruce 2025 年 11 月 19 日 标题牛逼， 内容不对，Markdown 不是形式化语言，形式化语言是和数学一样有符号和较严格的逻辑定义的语言 比如 z 语言、petri net 、有限状态自动机这些。 |
 | 40 yanxu4780 2025 年 11 月 19 日 现在真变成自然语言编程了 |
 | 41 xiaoshaozi 2025 年 11 月 19 日 那么多工业软件需要国产化，加油 |
 | 42 Msxx 2025 年 11 月 19 日 我有罪，我甚至都怀疑进错社区了~ |
 | 43 wenchang 2025 年 11 月 19 日 1 我做过 ai ，但没做过 AI |
 | 44 sublime8 2025 年 11 月 19 日 AI 不需要形式化语言，自然语言就行。真正需要的是把需求完整的、有逻辑的表达清楚，原来这个活是产品经理干的 |
 | 45 dyncan 2025 年 11 月 19 日 6025 次点击应该都不是奔着 AI 的吧 |
| 46 JavaGo OP 看样，我的表达不够清楚，等后面重新再写一篇吧，看样好多人都误会了 |
 | 47 vikim 2025 年 11 月 20 日 我有罪 抱着极大兴致 看完内容失望的离开。 |
 | 48 Fe1Fan 2025 年 11 月 20 日 我点进来不是为了看这些的。 |
 | 49 Leoking222 2025 年 11 月 20 日 @YmSgrNov29 #2 你不是一个人  |
 | 50 MrEhco 2025 年 11 月 20 日 哦。。。这个 AI 啊 |