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

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

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

～～３週間経過～～

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

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

MacBookを使うようになりました

タイトルこれでいいんか。
引っ越すとか転職するとか言っていた話です。

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

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

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

ではどうぞ。

「デザインパターンなのに、エモい。」を読みました

突発読書回です。
carotene4035.booth.pm
これ↑の話をします。

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

ちょいネタです。

前回の最後に「こんなんできたらいいなあ」という話をしていたのを置きに来ました。

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

読んでいます。

第４章　算術式のML実装
やっていきます。
前回→第２回
今回
↓