この記事はML Advent Calendar 2017の10日目（！？）のために書かれました． 皆さんOCaml標準ライブラリのList.sortは使っていますか？ 頻繁にリストに対してのソートを行うようならデータ構造かアルゴリズムを考え直した方が良いでしょうが，競プロの様にち…

この記事は言語実装 Advent Calendar 2017の10日目（！？）のために書かれました． 9日目の記事は@ukitakaさんのSwiftコンパイラで採用されているパターンマッチの網羅性チェックの理論と実装です．