なのログ

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

2018-10-20から1日間の記事一覧

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

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

当ブログのメインコンテンツこと（？）、型システム入門読書回です。５章ラムダ計算に入りました。テンションが上がり気味な内容になっています。ではどうぞ。