2019-01-31から1日間の記事一覧

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

F# 型システム入門読書オベンキョ

またお久しぶりになってしまいました。型システム入門です。今確認したら１ヶ月以上空いてますね。うわあ。これは罪では。今回でやっと５章２節「ラムダ計算でのプログラミング」を抜けます。