最优雅的配置语言 - SegmentFault 思否

最优雅的配置语言

发布于 1 月 12 日

Summary: 介绍了 Categorical Configuration Language（CCL），一种基于简单键值对的配置语言。强调其简单性，避免过度智能导致意外问题，如不附加类型语义，让用户自由处理各种数据格式。CCL 支持列表、注释、章节、多行字符串等特性，还能与其他配置语言集成，通过嵌套字段实现复杂配置。从实际的软件配置需求出发，利用范畴论的概念，如合成、结合律、幺半群等，展示 CCL 在配置组合方面的优势，包括性能提升等。最后提到有 CCL 的原型实现在 OCaml 上，虽未达到生产就绪状态，但有测试套件，未来计划添加解码 API 等，希望能激励他人追求简单并一起让软件更好。
主要观点:
- CCL 追求简单，避免过度设计带来的问题。
- 利用范畴论概念实现配置的灵活组合与处理。
- CCL 具有多种特性，能满足不同配置需求。
- 目前的原型需进一步优化和完善。
关键信息和重要细节:
- 最简单的 CCL 是键值对形式，如key = value。
- 可通过空键或空值实现列表，注释可通过特殊键处理。
- 章节通过特定格式表示，多行字符串直接书写。
- 配置可嵌套，CCL 对缩进敏感，通过特定规则处理。
- 利用范畴论的合成、结合律、幺半群等概念优化配置处理。
- 有 CCL 的 OCaml 原型，需添加解码 API 等。
- 鼓励他人追求简单并一起改进软件。

阅读 8