またお久しぶりになってしまいました。型システム入門です。
今確認したら１ヶ月以上空いてますね。うわあ。これは罪では。
今回でやっと５章２節「ラムダ計算でのプログラミング」を抜けます。
2018年でも振り返っておきましょう
なんか普通の話題っぽいぞ・・・！
「こういうの書いておくのがブログたるものだよな」みたいな、
人並みの気持ちが湧いてしまったので。書きます。
型システム入門を読んでいます（第６回）
第６回です。５章のつづき。
前回「カットするかしら」とか話した部分になりました。型無しラムダでのいろんな表現。
MacBookを使うようになりました
タイトルこれでいいんか。
引っ越すとか転職するとか言っていた話です。
「デザインパターンなのに、エモい。」を読みました
突発読書回です。
carotene4035.booth.pm
これ↑の話をします。
