Join Nostr
2026-03-23 00:53:47 UTC
in reply to

f6XF on Nostr: 在 ai ...

在 ai 面前,很多高级语言特性毫无意义,只会增加推理的复杂度,比如 java 的范型哪怕没有也能实现所有功能,范型能让程序员少写几行代码,但是却把类型系统搞得复杂无比,当初我研究编写器代码时就被类型系统搞晕。搞程序语言理论研究的人就是把问题搞得越来越复杂,设计各种高级语言特性给程序员用。
@zhh-4096
理论上可以让 AI 和 code agent 把自然语言直接编译成机器码,只不过为了方便给人类审核,可以临时生成程序语言代码。这意味着什么?不再需要搞程序语言理论研究了,学术圈这帮理论派立马死翘翘。