上次課程小結(jié)(編輯修改稿)
2025-11-17 13:44 本頁面
【文章內(nèi)容簡介】 的類型為 α ， 則 p的類型是pointer(α) ， 因此函數(shù) deref(p)的類型應(yīng)該是： ?α .pointer(α) → α () 即對于任何一個類型為 α 的對象，函數(shù) deref(p)是將指向 α 對象的一個指針類型映射到該對象。 deref習(xí)慣上也被稱為脫引用。 1 多態(tài)函數(shù)、類型變量與類型推斷 2 含多態(tài)函數(shù)語言的文法 多態(tài)函數(shù)與單態(tài)函數(shù)的本質(zhì)區(qū)別是形參不但可以是常量也可以是變量。因此對 ()和 ()的文法進行擴充，將含有類型變量的類型定義引入產(chǎn)生式。 P → D 。 E D → D。 D | id : Q Q → ? | T () T → T 39?！?9。 T | T T | unaryconstructor(T) | basictype | typevariable | (T) E → E(E) | E, E | id 此擴充與將數(shù)據(jù)的簡單變量擴充為含有數(shù)組元素類似。首先，文法將原來的單態(tài)類型 T擴展為多態(tài)類型 Q， Q除了包括 T產(chǎn)生式的全部，又引入了受約束的類型變量。同時 T產(chǎn)生式中增加了類型變量，即將類型變量引入類型。 引入數(shù)組元素后的賦值句文法 A → V := E V → id[EL] | id EL→ EL ， E | E E → E + E | ( E ) | V 2 含多態(tài)函數(shù)語言的文法（續(xù) 1） 例 按文法 ()書寫的一個程序如下： P → D 。 E D → D。 D | id : Q Q → ? | T () T → T 39?！?9。 T | T T | unaryconstructor(T) | basictype | typevariable | (T) E → E(E) | E, E | id deref : ?α .pointer(α) → α 。 q : pointer(pointer(int))。 defef(deref(q))。 首先聲明 deref和 q，然后是函數(shù)調(diào)用 defef(deref(q))，其中內(nèi)層函數(shù)調(diào)用的返回值作為外層調(diào)用的實參。 顯然，兩個相同的函數(shù)在不同位置的出現(xiàn)具有不同的參數(shù)類型和返回值類型。 2 含多態(tài)函數(shù)語言的文法（續(xù) 2） deref : ?α .pointer(α)→α 。 q : pointer(pointer(int))。 defef(deref(q))。 P→D 。 E D→D 。 D | id : Q Q→ ?|T () T→T 39?！?9。 T|T T|unaryconstructor(T) |basictype|typevariable|(T) E→E(E)|E,E|id (a) 函數(shù)調(diào)用的語法樹→(作用于)函數(shù)名 參數(shù)(b) deref ( deref (int)) 的語法樹deref0 →iderefi q→0(c) deref(deref(int)) 語法樹上各節(jié)點的類型deref0 →derefi qpointer (αi) → αipointer (pointer(int) )pointer(α0)→α0i αi= pointer(int)→0α0=int函數(shù)名作用于參數(shù)得到函數(shù)返回值 每次引入一個固定變元 結(jié) 束（ 2020年 4月 29日） “ 五一 ” 節(jié)快樂！ （五一后第一周兩次課！） 多態(tài)函數(shù)的簡單回顧 ? 多態(tài)函數(shù)、類型變量與類型推斷 ? 含多態(tài)函數(shù)語言的文法 deref : ?α .pointer(α)→α 。 q : pointer(pointer(int))。 defef(deref(q))。 (b) deref ( deref (int)) 的語法樹deref0 →iderefi q→0P→D 。 E D→D 。 D | id : Q Q→ ?|T () T→T 39?！?9。 T|T T|unaryconstructor(T) |basictype|typevariable|(T) E→E(E)|E,E|id P → D 。 E D → D。 D | id : Q Q → ? | T () T → T 39?！?9。 T | T T | unaryconstructor(T) | basictype | typevariable | (T) E → E(E) | E, E | id (c) deref(deref(int)) 語法樹上各節(jié)點的類型deref0 →derefi qpointer (αi) → αipointer (pointer(int) )pointer(α0)→α0i αi= pointer(int)→0α0=int? 每次引入一個新類型變量 ? 替換變量試圖得到匹配 ? 保留替換結(jié)果以繼續(xù)匹配 代換、實例與合一 多態(tài)函數(shù)類型檢查的一般方法：首先設(shè)法消除類型變量，然后判定消除類型變量后的類型表達式是否結(jié)構(gòu)等價。具體有三點與單態(tài)的類型檢查不同： (1) 消除約束變元 類型表達式中約束變元在語法樹中的每次出現(xiàn)均要被替換為自由變元，且同一類型表達式的多態(tài)函數(shù)的不同出現(xiàn)，變元可以有不同的類型。 方法是每引入一個多態(tài)類型表達式，就為變元引入一個新類型變量。 如將 ?(α)→α 改為 pointer(α 0)→α 0或pointer(α i)→α i，從而消除了全稱量詞和約束變元。 代
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1