Kernel FP的模板函數比較嚴格。對于任意的模板函數的類型參數，這個參數必須能夠接受所有類型。當然，類型推導會通過閱讀代碼來精確化程序員設定的類型。譬如說一個函數F的類型是T->T，但是經過閱讀代碼發現，參數只能是某種類型的列表，那么類型推導就會將這個函數的類型修改為list T->list T。

    但是這樣會有一個問題。類型推導只能夠推導已知的函數。如果一個模板函數里面用了操作符，而這個操作符暫時只為幾個類型定義的話，那么由于不是所有的類型都能夠接受該操作符，所以這個操作符就沒辦法給未知確切類型的參數使用。下面就有一個例子：

    此時函數(+)只能接受int和float兩種類型。假設有如下模板函數：

    那么這個函數的類型是無法推導的，雖然我們的期望是T->T->T->T。另外一個問題是tripleAdd的上下文可能沒有任何的(+)的定義，因為有許許多多的(+)可能是在以后出現新類型的時候定義的。于是今天我加入了一個語法：

    上面的代碼表示在這個聲明能控制到的上下文中，只要不被另一個expected覆蓋，那么所有的(+)的類型都是T->T->T->T或者是兼容的更加具體的類型。當然了，不符合要求的定義并不會給出警告，只是如果一個(+)的定義不符合要求的話，那么根據語法，不可能被調用到。當然，這個限制可能比較強硬，不過暫時實驗一下看看需不需要更加放寬。

    好了，那么編譯的時候如何讓(+)應用到未知的函數呢？匹配的優先級策略有很多，這個就慢慢制定了……