[論文レビュー] 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のモジュールシステムのみを用いて、Monad、Applicative、Functorなどのコンストラクタクラスをエミュレートする手法を提示する。MLファンクタを活用して、最小限の定義（例：return と bind）から関数を自動で導出するとともに、スーパークラスをインスタンス化することで、コードの重複なしに完全な抽象化インスタンスを生成する。これにより、2つのユーザー定義関数から20以上の派生関数を生成可能となる。

ABSTRACT

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

研究の動機と目的

• 言語を変更せずに、Monad や Applicative などのコンストラクタクラスを標準MLで利用可能にする。
• 最小限の定義（例：return と bind）から標準関数（例：join や liftM）を自動で導出し、コードの重複を排除する。
• Monad 定義から自動的に Applicative および Functor インスタンスを生成するスーパークラスインスタンス化をサポートする。
• すべてのML方言でモジュールをサポートする、移譲可能で拡張可能なフレームワークを提供する。
• 静的で数学的に整合性のあるモジュール構成を用いて、モナド変換子や多重継承（例：ダイアモンド問題）といった複雑なケースを処理する。

提案手法

• MLファンクタを用いて、最小限の定義（例：return と bind）を完全なコンストラクタクラスインスタンスに変換する。
• mk_Monad などの拡張ファンクタを定義し、最小のシグネチャから完全なシグネチャを生成する。
• Mona_Min_To_App_Min のような逆サブタイプ化によるファンクタを用いて、最小定義からスーパークラスインスタンスを導出する。
• パラメトリックファンクタとしてのモナド変換子を形式化し、ベースモナドと状態型などの型を合成する。
• フラットなモジュール構造を用いてネストされた修飾子を回避し、クライアントコードの冗長性を低減する。
• スーパークラスメソッドの数学的同等性に基づいてダイアモンド問題を解決し、継承経路にかかわらず一貫性のある振る舞いを保証する。

実験結果

リサーチクエスチョン

• RQ1 標準MLのモジュールシステムのみを用いて、Monad や Applicative などのコンストラクタクラスを完全にエミュレートできるか？
• RQ2 最小限の定義（例：return と bind）をどのように自動的に展開し、すべての標準関数を含む完全なクラスインスタンスにできるか？
• RQ3 最小限の Monad 定義から、Applicative や Functor のようなスーパークラスインスタンスを自動生成できるか？
• RQ4 言語拡張なしで、型安全かつ拡張可能な方法でモナド変換子や複数のクラス制約をモデル化できるか？
• RQ5 newtypeラッパーを必要とせずに、同じ型に対して複数の有効なインスタンス（例：リストのカーティジアン型とペアワイズ型の2つの Applicative インスタンス）をサポートできるか？

主な発見

• ライブラリは、return と bind の2つのユーザー定義関数から、join や liftM、forever など20以上の標準関数を自動で導出する。
• このアプローチは、スーパークラスの自動インスタンス化を成功裏に実現しており、リストモナドが同時に Functor、Applicative、Monad として認識されることを保証する。
• スーパークラスメソッドの数学的同等性に依拠することで、ダイアモンド問題を回避し、継承経路にかかわらず一貫性のある振る舞いを確保する。
• newtypeラッパーを必要とせずに、同じ型に対して複数の有効なインスタンス（例：リストのカーティジアン型とペアワイズ型の2つの Applicative インスタンス）をサポートする。
• このアプローチは他のML方言へも移譲可能であり、言語拡張を避けており、すべての標準ML実装と互換性を保つ。
• パラメトリックファンクタ（例：mk_ConsProd）を用いて、モナド変換子や再帰的クラス制約を完全にサポートする。