Avatar
Kishikawa Katsumi 3/30/2020 7:59 AM
https://twitter.com/esumii/status/315135694462939137 型システム入門はとりあえず全体の2〜3割を読んだらいいとのことだから気合を入れて読んでみようかな。
サポートサイトができたらジュンク堂トークのPDFも載ると思いますが、これだけは先に:型システム入門(TAPL)はとりあえず1,3,8,5,9,11章(&2章の必要な部分)と、あとは好きな章を読めば「読んだ」ことにしても良いと思います!(60%本気)