なのログ

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

型システム入門を読んでいます(第8回)

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

続きを読む

型システム入門を読んでいます(第7回)

~~ぜんかいのなのやつさん~~

尻切れトンボなかんじなので、また早いうちに続きをしにきます。(希望)  

~~3週間経過~~

続きを読む

型システム入門を読んでいます(第6回)

第6回です。5章のつづき。
前回「カットするかしら」とか話した部分になりました。型無しラムダでのいろんな表現。

続きを読む

型システム入門を読んでいます(第5回)

当ブログのメインコンテンツこと(?)、型システム入門読書回です。

5章 ラムダ計算に入りました。
テンションが上がり気味な内容になっています。

ではどうぞ。

続きを読む