なのログ

だから見てて下さい・・・俺の・・・変身

2020-03-22から1日間の記事一覧

型システム入門を読んでいます（第１２回）

型システム入門 F# プログラミング読書オベンキョ

半年以上ぶり、TaPLのコーナーです（驚愕）今回の内容は、７章「ラムダ計算のML実装」であります。Fsharpも超絶久しぶりに書きました。