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

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

正規形を持つ項は最左最外簡約によってもその正規形に簡約されるのは有名な話． これはかなり嬉しくて，最左最外簡約は値呼びとは何だったのかと言わんばかりの優秀な評価戦略と言えるでしょう． しかし，この性質は有名な割に定理証明支援系を使った証明を…

最近、オセロのAIを作ろうと思ってOCamlでαβ法を実装したのですが、実装にバグがあって思ったように性能が出ませんでした。 この不具合が厄介で、合法手がちゃんと返っているので実際に対戦させてみないと悪い手を打っている事に気付けないのです。 こんな時…