読者です 読者をやめる 読者になる 読者になる

技術memo

関数型ゴースト

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

SML

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

Macでプログラミング環境を作った話

Mac初心者です。 今までプログラミングは仕事でも趣味でもWindows機を使っていたのですが、せっかくMBAを買ってしまったので、そろそろ開発環境を本気出して作ってみようかと思い立ち、あれこれインストールしてみました。 その辺りのメモ書きです。