雑記 -- 『スター・ウォーズ エピソード 5 帝国の逆襲』を観た

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

『スター・ウォーズ エピソード 5 帝国の逆襲』を観た。 2017-12-15 公開のエピソード 8 最後のジェダイに合わせた地上波。録画しておいたものを観る。だいたい覚えているので新鮮味はない。冒頭の雪山のあのくだりが要るのか、よく分からない。