这是关于Weaver的公告，它是用于Roc语言的参数解析库。

• 编程语言与稀缺性：编程语言像生活一样面临关于稀缺性的决策，如 Python 方便但存在性能和复杂度管理问题，而 Roc 语言从底层设计为类型良好、编译快且运行快。

• 记录构建器（record builder）：是 Roc 中的一种语法糖，能在应用函子上调用多个函数并将结果存储在记录中，可简化多种任务，如批处理并行 HTTP 请求等。

  • 与宏基解析器构建器对比：Rust 的clap通过宏可免费实现类似功能，但有编译时间成本和代码可读性问题，而 Roc 的记录构建器语法无需宏，能以类型安全的方式解析命令行参数。
• Weaver 示例：Weaver CLI 的样子展示了无需显式定义字段类型、无需提前传递参数、自动生成帮助文本等特点，能以简单 API 解析命令行参数。

• 喜欢写 Roc 的原因：

  • 表达性强：拥有匿名标签联合等特性，能自动识别和处理类型，代码灵活且高效。
  • 开发体验好：编译器错误信息有帮助，代码能快速类型检查，纯函数式语言便于重构，适合大型协作代码库。
• 是否使用 Roc：如果不介意使用 alpha 语言可现在开始，若希望有稳定版本可等待几年，Roc 团队活跃，开发者 Richard Feldman 经验丰富，对 Roc 未来有信心。

• 构建库的技巧：

  • 处理柯里化构建器（curried builder）：Cli.weave是入口点，通过每个字段的解析器更新配置和解析器，最终得到所需的解析器。
  • 使用类型状态（typestate）强制字段顺序：根据其他 CLI 的工作方式，确定参数解析的顺序，通过CliBuilder的类型变量action实现状态编码，编译器能确保字段顺序正确。

总之，Weaver 为 Roc 提供了方便的命令行参数解析方式，Roc 语言自身也有很多优点，值得关注和使用。