https://blog.shuaizhang.cc/zh-hans/category/discussion/查看归入当前术语的文章。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 作为潜在出路，并呼吁在保留编译期保障的同时减少二象性，重新思考语言设计。https://blog.shuaizhang.cc/zh-hans/posts/orgdown-translation-zh-hans/Fri, 12 Sep 2025 00:00:00 +0000https://blog.shuaizhang.cc/zh-hans/posts/orgdown-translation-zh-hans/本文介绍了一种新的轻量级标记语法标准 Orgdown，旨在把 Org-mode 的标记语言与其 Emacs 实现区分开来。作者认为目前 Org-mode 被误解为“只有 Emacs 的工具”，而标记语言本身的语法设计有很高的价值，可以被更广泛采用。虽然 Markdown 已经很流行，但它在功能和一致性上存在局限，而 Orgdown 既保持简洁，又能提供更强的表达能力和兼容性指数，适合需要更可靠语法支持的用户与工具生态。Orgdown 第一等级 (“Orgdown1”) 定义了一组基本语法（如标题、列表、链接、表格等），适合大多数文字处理场景，并建立了一个兼容性指数来评估各个工具对这些语法的支持情况。文章还号召社区参与，让 Orgdown 成为一个被广泛理解、标准化、工具可用性良好的标记语言。