HCOONa's blog

本文探讨静态语言为何在追求“表达力”时反而滋生复杂度。作者提出“静态-动态二象性”：同一抽象在编译期与运行期分裂，导致不一致与特性重复，引发学习曲线陡峭、宏与模板泛滥、类型层与值层割裂。文中以 Rust、C++、Haskell 等举例对比记录/数组、和类型/树、递归/类型归纳，展示逻辑可在两层互映却难以复用。作者评析 Idris 的依赖类型与 Zig 的 comptime 作为潜在出路，并呼吁在保留编译期保障的同时减少二象性，重新思考语言设计。

本文介绍了一种新的轻量级标记语法标准 Orgdown，旨在把 Org-mode 的标记语言与其 Emacs 实现区分开来。作者认为目前 Org-mode 被误解为“只有 Emacs 的工具”，而标记语言本身的语法设计有很高的价值，可以被更广泛采用。虽然 Markdown 已经很流行，但它在功能和一致性上存在局限，而 Orgdown 既保持简洁，又能提供更强的表达能力和兼容性指数，适合需要更可靠语法支持的用户与工具生态。Orgdown 第一等级 (“Orgdown1”) 定义了一组基本语法（如标题、列表、链接、表格等），适合大多数文字处理场景，并建立了一个兼容性指数来评估各个工具对这些语法的支持情况。文章还号召社区参与，让 Orgdown 成为一个被广泛理解、标准化、工具可用性良好的标记语言。

这是对 Monadic parsing in Haskell 一文的翻译。

引言（Introduction）

本文是一篇关于在 Haskell 中定义递归下降解析器（recursive descent parsers）的教程。秉持“一站式服务”的精神，文章把三个领域的材料整合到一个来源中。这三个领域分别是函数式解析器（functional parsers）（Burge, 1975; Wadler, 1985; Hutton, 1992; Fokker, 1995）、使用单子（monads）来组织函数式程序（Wadler, 1990, 1992a, 1992b），以及在 Haskell 中用于单子程序的特殊语法（Jones, 1995; Peterson 等, 1996）。更具体地说，本文展示了如何在 Haskell 中使用 do 记法（do notation）来定义单子解析器。

当然，手写的递归下降解析器在效率上不如由工具生成的自底向上解析器（Aho 等, 1986; Mogensen, 1993; Gill 与 Marlow, 1995）。然而，对于许多研究型应用，一个简单的递归下降解析器已足够。此外，解析器生成器通常仅提供一套固定的组合子（combinators）来描述文法，而本文的方法则完全可扩展：解析器是第一类值（first-class values），我们可以充分利用 Haskell 的能力来为特定应用定义新的组合子。该方法也是展示函数式编程优雅性的一个极佳例子。

本文的目标读者是熟悉 Haskell 并且学过“文法与解析”课程的优秀本科生。具备一些函数式解析器的知识会有帮助，但不要求具备单子方面的经验。基于本文而来的一个 Haskell 库可在网页上获取： http://www.cs.nott.ac.uk/Department/Staff/gmh/bib.html#pearl（链接已失效）

这篇文章介绍如何使用 ACR (Azure Container Registry) 缓存 Docker Hub 和 GitHub Container Registry 的镜像。

工作场景通常需要有身份认证机制保护的 API，客户端在调用这些 API 之前，就需要先进行身份验证，然后使用身份验证得到的 Access Token 去访问这些 API。这篇文章告诉你如何让控制台应用进行交互式身份验证，然后请求受保护的 API。

W3C TraceContext V1 标准 直到 2021 年 11 月才发布。在此之前，很多系统使用自定义的 HTTP Header 字段进行请求和调用链路的追踪。例如 AWS S3 使用 X-Amzn-Trace-Id 进行跟踪。这篇文章告诉你在 ASP.NET 中如何把旧系统中的 X-Request-Id 和 X-Trace-Id 嫁接到最新的 OpenTelemetry 框架上。

Microsoft.Extensions.Logging 打印 Scope 的时候默认是个字符串，这篇文章告诉你如何让其保持 Scope 的结构化输出

总结 MSBuild 的基本概念和扩展方法

总结侵入式链表的主要优缺点和在 C++ 语言参考实现