Translation

本文探讨静态语言为何在追求“表达力”时反而滋生复杂度。作者提出“静态-动态二象性”：同一抽象在编译期与运行期分裂，导致不一致与特性重复，引发学习曲线陡峭、宏与模板泛滥、类型层与值层割裂。文中以 Rust、{cpp}、Haskell 等举例对比记录/数组、和类型/树、递归/类型归…