2018-11-12から1日間の記事一覧

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

読書型システム入門

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