https://blog.shuaizhang.cc/zh-hans/tags/translation/查看归入当前术语的文章。Hugozh-HansMon, 13 Oct 2025 23:13:39 +0000https://blog.shuaizhang.cc/zh-hans/posts/why-static-languages-suffer-from-complexity-zh-hans/Mon, 13 Oct 2025 00:00:00 +0000https://blog.shuaizhang.cc/zh-hans/posts/why-static-languages-suffer-from-complexity-zh-hans/本文探讨静态语言为何在追求“表达力”时反而滋生复杂度。作者提出“静态-动态二象性”：同一抽象在编译期与运行期分裂，导致不一致与特性重复，引发学习曲线陡峭、宏与模板泛滥、类型层与值层割裂。文中以 Rust、{cpp}、Haskell 等举例对比记录/数组、和类型/树、递归/类型归纳，展示逻辑可在两层互映却难以复用。作者评析 Idris 的依赖类型与 Zig 的 comptime 作为潜在出路，并呼吁在保留编译期保障的同时减少二象性，重新思考语言设计。