starttt

即便像(simply typed lambda calculus)這樣簡單的型別系統，要把它封裝成人類可以使用的系統的時候，還是非常複雜的事。因此得從一開始就用相對複雜的方式實現轉換、檢查、執行等功能，確保之後往更複雜的型別系統擴展的彈性。