描述型別系統的語言
型別系統主要用來說明程式語言的定型規則，它獨立於型別檢查演算法
定義乙個型別系統，一種重要的設計目標是存在有效的型別檢查演算法
型別系統的基本概念可用於各類語言，包括函式式語言、命令式語言和並行語言等
我們後面討論用形式方法來描述型別系統
型別系統的形式化
型別系統是一種邏輯系統
有關自然數的邏輯系統
自然數表示式（需要定義它的語法）
a+b,3
良形公式（邏輯斷言，需要定義它的語法）
a+b=3,(d=3)^(c<10)
推理規則
aa型別系統
型別表示式
int,int——>int
定型斷言
x:int|- x+3:int
（|-左邊部分x：int稱為定型環境）
型別檢查和型別推斷
型別檢查
用語法制導的方式，根據上下文有關的定型規則來判定程式構造是否為良型別的程式構造的過程
型別推斷
型別資訊不完全的情況下的定型判定問題，例如：f(x:t)=e和f(x)=e的區別
原文：
Java表示式型別轉換
舉個例子說一下表示式型別轉換中的一種 public class test 問題是這兩個的輸出結果是什麼？為什麼會是那種輸出結果？當看到時，大多數人會說結果不一樣，但是有的人會忽略為什麼不一樣，因為他們用編譯器執行了，結果不一樣 第乙個是字串和字元做鏈結，結果是乙個字串，新的字串和數值8做連線，結果還...
表示式型別自動提公升
變數在表示式中進行運算時，也可能發生自動型別轉換，這就是表示式型別自動提公升。在運算期間，變數會自動提公升，而不是轉換之後的結果進行提公升再向左賦值。因為在自動轉換過程中byte會轉換成int，當int強制轉換成byte時會不會損失精度，所以才會取b1的值為127，因為byte的取值範圍為 128 ...
表示式與型別問題
自動型別轉換 低階向高階轉換 9.system.out.println a 7 hello world 輸出 104helloworld 10.system.out.println hello world a 7 輸出 hello worlda7 上述表示式中 第二行 無法編譯成功,原因在於s 是s...