See. 型システム入門 プログラミング言語と型の理論 | Amazon メモ まずは5, 9, 11章読んでマスターするのがオススメ、と以下動画で訳者の方が言ってる :youtube: 住井英二郎（監訳者）＆翻訳チーム 「いまこそ学ぶ！ 型システム ～ TAPL日本語出版までの道…

Xcode 2021/08 現在 App Store からインストールできる安定版の最新は v12.5.1、Apple のサイトからならベータ版の Xcode 13 もインストール可能 Xcode 13の概要 - Apple Developer Xcode 13 から vim mode が使える フォーマッタがない、一応インデントの揃…