編譯原理（四）類型檢查2

描述類型系統的語言 類型系統主要用來說明編程語言的定型規則，它獨立於類型檢查算法 定義一個類型系統，一種重要的設計目標是存在有效的類型檢查算法 類型系統的基本概念可用於各類語言，包括函數式語言、命令式語言和並行語言等 我們後面討論用形式方法來描述類型系統 類型系統的形式化 類型系統是一種邏輯系統  有關自然數的邏輯系統 自然數表達式（需要定義它的語法） a+b,3 良形公式（邏輯斷言，需要定義它的

>>阅读原文<<