Textbooks

我受夠了！Paper 裡面都是一堆奇怪的 XX-types 和各種令人眼花撩亂的 typing rules，該是讀一讀 textbooks 的時候了。上完知識論就去借 Benjamin Pierce 的《Types and Programming Languages》和《Advanced Topics in Types and Programming Languages》！

很久以前我在天瓏曾被《Types and Programming Languages》吸引，把它拿下來翻一翻，但顯然我那時沒料到日後會這麼迫切地需要它 XD。

--
有沒有時間看就是另一回事了…