netabare

那么多玩 J8 梗的。我倒是反而感觉 Java 「语言」升级不升级都无所谓了，反正可见的时间里他也就那个样子，我对这个语言和这个语言背后的社区不抱任何期望。

反而 JVM 要是有些什么有意思的更新和新技术的话会蛮有意思的，作为一个开发语言和 DSL 的 platform ，JVM 还是有自己的价值的。

我最近在想的是能不能先拿 Rocq 把自己的想法推一个最小的模型，证明一些 invariants ，然后再看怎么让这些东西可以拿来干啥。

什么乱七八糟的…Java 那玩意不就是换个名字的继承。

要说多态最起码也得 adhoc polymorphism 或者 typeclass 那种吧。就更不用提 row polymorphism 或者 effect polymorphism 了。

至于你说的这种动态分派，visitor pattern 就能模拟，那只要一个语言能写 visitor pattern ，就能模拟出来。

Go 、Python 、JS 、C++就不说了，Haskell 都能拿 GADT （不带 typeclass ）来模拟。

哦对了，JS 的 prototype 也可以直接运行时「动态替换」，不知道这是不是你要的效果。

@xue777hua 对，这种混淆对于机器和编译器毫无意义。
@geelaw 也许是「给出一个项目代码库，能否通过阅读代码本身和少量的运行调试，明白这个项目在做什么」？
@msg7086 我感觉这里的 Promise 还是蛮明显的，不过 authenticate 、Error 和 fetch 这些词可能会让 AI 偏向于认为这段代码是处理前端业务或者登入鉴权的代码？我一开始想着写这玩意的时候其实想要表达的控制流更像是 util 库里面的简单 wrapper 函数。不过你说的也有道理，代码量太短很难分析出什么有价值的东西。
@sentinelK 之所以想到这个问题，也是因为最近跟 AI 聊天的时候经常发现 AI 回答特别容易给出很平庸的答案，或者识别一个 pattern 立刻不读我的源代码断章取义假设一个我根本不关心的场景。所以我就写了这坨代码去找几个 AI 轮流问一遍了（

不过这种东西对编译器来说应该就是单纯的 nop ，因为 mangling 本来就是编译器的基本操作。

@levelworm 这个的全称是？

@x1596357 这个是每年都有的吗？今年的肯定错过了 quq

@mxgarbage 在法国……

@xiqingongzi @lonely701 感谢！

低代码不就是 4GL 换个皮？这玩意现在还有人用才是令人难以理解的事情吧。

图 JVM 那为啥要死磕 java 呢，kotlin 、clojure 不香吗？

issue 置顶不就是用来做这个的？如果是我我觉得 readme 里面放也不是不行。顺便 DMCA 也发一下，再不行就律师函走起。

另外如果 GPL 过于宽松，建议修改成更为激进的开源协议。毕竟 faker.js 殷鉴不远。

每次 GPT 回答我「完全正确」的时候我都会拉着他倒过来分析最后 3-5 个讨论质问他这个正确的完备性，或者把问题的假设反过来质问他是否能给出认同或者批评的观点，然后再做综合分析。

几次这么下来之后，他「完全正确」的次数明显少了很多，当然，如果是免费版降级，那其实还是没办法。