（超）指數延展的前路

今天 MFN meeting 聽 scm 老師簡介 dependent type theory，覺得完蛋啦，又是一大堆東西要進來。當年從正常人變成 programmer，最近花半年變成 dependently-typed programmer，接下來又要再掙扎一次變成 dependent type theorist（斷句方式是 "dependent type" theorist 不是 dependent "type theorist"，雖然後者大概是近程目標 XD）。往資管系的路上把 MSS derivation 經過的變換想通了，待會寫一篇 blog 記下來，然後 derivation 就暫時放一旁，學校的東西弄一弄趕快看 (dependent) type theory。只要恍神一下大概就追不上了…

--
偶爾也讓我有一陣子「什麼都懂」的感覺也無妨啊 XD。