程序员怒评函数式语言 Bend2:没有类型推断,写个 Hello World 像答辩

max_paperclips · x · 2026-11-03

一份流传甚广的 Bend2 语言「诚实评测」:作者称 Bend2 是「类型理论原教旨主义者嫌 Haskell 太休闲」的产物——没有类型推断、没有 type class、没有 tactics,证明要自己手写;有依赖类型但零人体工学,外加 affine types 但不做完整线性类型。生态几乎不存在,学习曲线是垂直悬崖,写个平凡程序都像博导答辩。

最终评分:9/10,唯一扣分理由是「对 JavaScript 开发者来说还是太容易了」。整篇是典型的 hacker 圈毒舌梗评,分享价值在吐槽本身。