Bend2 评测：没有类型推断，写个 Hello World 像答辩

一份流传甚广的 Bend2「诚实评测」以毒舌方式批评该函数式语言没有类型推断、type class 和 tactics，证明需要手写。评测称其虽有依赖类型和 affine types，但生态几乎不存在、学习曲线陡峭，最终评分为 9/10，扣分理由是“对 JavaScript 开发者来说还是太容易了”。