函数式语言中的流畅API（完整版本）
摘要：流畅的 API 是一种优雅的 API 和嵌入式领域专用语言的面向对象模式。一个智能的流畅的 API 可以在编译时强制执行 API 协议或 DSL 语法。由于流畅的 API 设计通常依赖于函数重载，在函数式编程语言中很难实现。我们展示了如何使用参数多态和类型推断而不是重载来编写函数式流畅的 API。我们的设计支持所有常规和确定性上下文无关的 API 协议以及更多的功能。
作者：Ori Roth and Yossi Gil
论文ID：2211.01473
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-03-13