技術memo

関数型ゴースト

2014-12-22から1日間の記事一覧

SML# の「多相レコードによる多相ヴァリアントの表現」がわからなかった話

SML

この投稿は、ML Advent Calendar 2014の22日目の記事です。前日はkawada_syogo225さんのAlice MLの仮想マシンについて | 小さいモノは美しいでした。 多相ヴァリアントの話 ラベル付きヴァリアントの多相版、です。詳しくは以下あたりを見ましょう。 4.2 多…