[论文解读] Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML

Yutaka Nagashima, Liam O’Connor|arXiv (Cornell University)|Aug 11, 2016

Logic, programming, and type systems参考文献 4被引用 3

一句话总结

本文提出一种技术，仅使用标准ML语言的模块系统（无需语言扩展），即可在标准ML中模拟构造器类（如Monad、Applicative和Functor）。通过利用ML函子（functors）自动派生函数并从最小定义（例如return和bind）实例化超类，该方法实现了零代码重复的完整抽象实例化，仅需用户定义两个操作即可派生超过20个函数。

ABSTRACT

We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.

研究动机与目标

• 在不修改语言的前提下，实现在标准ML中支持Monad和Applicative等构造器类。
• 通过自动派生标准函数（如join、liftM）来消除代码重复。
• 支持自动超类实例化，例如从Monad定义自动推导出Applicative和Functor实例。
• 提供可移植、可扩展的框架，兼容所有支持模块的ML方言。
• 通过静态、数学上严谨的模块组合方式，处理复杂情况如单子变换器和多重继承（例如菱形问题）。

提出的方法

• 使用ML函子将最小定义（如return和bind）转换为完整的构造器类实例。
• 定义展开函子（如mk_Monad），从最小签名生成完整签名。
• 通过反向子类型（reverse subtyping）的函子（如Mona_Min_To_App_Min）从最小定义派生超类实例。
• 将单子变换器形式化为参数化函子，通过组合基础单子与状态或其他类型实现。
• 使用扁平模块结构避免嵌套限定符，减少客户端代码的冗长。
• 通过超类方法的数学等价性解决菱形问题，确保无论继承路径如何，行为保持一致。

实验结果

研究问题

• RQ1 能否仅使用模块系统在标准ML中完全模拟Monad和Applicative等构造器类？
• RQ2 如何将最小定义（如return和bind）自动扩展为包含所有标准函数的完整类实例？
• RQ3 能否从最小的Monad定义自动生成超类实例（如Applicative和Functor）？
• RQ4 如何在不使用语言扩展的前提下，以类型安全且可扩展的方式建模单子变换器和多重类约束？
• RQ5 该方法能否支持同一类型存在多个有效实例（如列表的两个Applicative实例）而无需newtype包装？

主要发现

• 该库仅通过用户定义的两个函数（return和bind）即可自动派生超过二十个标准函数，如join、liftM和forever。
• 该方法成功实现了超类的自动实例化，使得列表单子同时被识别为Functor、Applicative和Monad。
• 通过依赖超类方法的数学等价性，该方法避免了菱形问题，确保无论继承路径如何，行为保持一致。
• 该库支持同一类型存在多个有效实例，例如列表的两个Applicative实例（笛卡尔型与成对型），且无需newtype包装。
• 该方法可移植至其他ML方言，且不依赖语言扩展，与所有标准ML实现向后兼容。
• 该技术通过参数化函子（如mk_ConsProd）实现了对单子变换器和递归类约束的完整支持。