數據類型檢查基礎知識(ppt 67頁)

數據類型檢查基礎知識目錄：
一、基礎知識
二、類型體製
三、簡單類型檢查器的說明
四、類型表達式的等價
五、多態函數

數據類型檢查基礎知識內容提要：
類型檢查基礎：
數據類型規範的基本內容包括：
屬性：區別這個類型的數據對象的屬性
值：這個類型的數據對象可能取的值
操作：定義對這個類型的數據對象可能的操縱的操作集合
數據類型的實現
存儲：表示程序執行過程中在計算機存儲器中的數據類型的數據對象的存儲表示
操作的實現：根據操縱數據對象的存儲表示的特定算法或過程來表示數據類型所定義的操作的方式
數據類型的語法表示
屬性：通過聲明或類型定義來體現
值：表示成文字或已定義的常量
操作：可以通過特殊符號或內部過程（函數）實現，也可以隱式地通過其它語言元素的組合實現

..............................