『型システム入門』を 11 章まで読んだ。 11 章は長かった。 Unit 型・型指定・ let 束縛・組・レコード・列挙型・単一フィールドのバリアント・直和など、馴染みのあるものがたくさん出てきた。 『スター・ウォーズ エピソード 5 帝国の逆襲』を観た。 2017…