Kernel FP的模板函數(shù)比較嚴(yán)格。對(duì)于任意的模板函數(shù)的類型參數(shù)，這個(gè)參數(shù)必須能夠接受所有類型。當(dāng)然，類型推導(dǎo)會(huì)通過閱讀代碼來精確化程序員設(shè)定的類型。譬如說一個(gè)函數(shù)F的類型是T->T，但是經(jīng)過閱讀代碼發(fā)現(xiàn)，參數(shù)只能是某種類型的列表，那么類型推導(dǎo)就會(huì)將這個(gè)函數(shù)的類型修改為list T->list T。
但是這樣會(huì)有一個(gè)問題。類型推導(dǎo)只能夠推導(dǎo)已知的函數(shù)。如果一個(gè)模板函數(shù)里面用了操作符，而這個(gè)操作符暫時(shí)只為幾個(gè)類型定義的話，那么由于不是所有的類型都能夠接受該操作符，所以這個(gè)操作符就沒辦法給未知確切類型的參數(shù)使用。下面就有一個(gè)例子：
1 {整數(shù)加法}
2 def (+) a b = iadd a b
3
4 {浮點(diǎn)數(shù)加法}
5 def (+) a b = fadd a b
此時(shí)函數(shù)(+)只能接受int和float兩種類型。假設(shè)有如下模板函數(shù)：
1 def tripleAdd a b c = a + b + c
那么這個(gè)函數(shù)的類型是無法推導(dǎo)的，雖然我們的期望是T->T->T->T。另外一個(gè)問題是tripleAdd的上下文可能沒有任何的(+)的定義，因?yàn)橛性S許多多的(+)可能是在以后出現(xiàn)新類型的時(shí)候定義的。于是今天我加入了一個(gè)語法：
func (+) T :: T -> T -> T -> T expected 上面的代碼表示在這個(gè)聲明能控制到的上下文中，只要不被另一個(gè)expected覆蓋，那么所有的(+)的類型都是T->T->T->T或者是兼容的更加具體的類型。當(dāng)然了，不符合要求的定義并不會(huì)給出警告，只是如果一個(gè)(+)的定義不符合要求的話，那么根據(jù)語法，不可能被調(diào)用到。當(dāng)然，這個(gè)限制可能比較強(qiáng)硬，不過暫時(shí)實(shí)驗(yàn)一下看看需不需要更加放寬。
好了，那么編譯的時(shí)候如何讓(+)應(yīng)用到未知的函數(shù)呢？匹配的優(yōu)先級(jí)策略有很多，這個(gè)就慢慢制定了……
posted on 2008-11-02 06:52
陳梓瀚(vczh) 閱讀(1338)
評(píng)論(0) 編輯 收藏 引用 所屬分類:
腳本技術(shù)