衍生品

型別的導數是其型別的單孔上下文的型別。如果我們使一個型別變數在每個可能的點上消失並對結果求和，那麼這就是我們將得到的型別。

作為一個例子，我們可以採用三重型別 (a,a,a)，並獲得它

data OneHoleContextsOfTriple = (a,a,()) | (a,(),a) | ((),a,a)

這與我們通常的推導定義一致，如：

d / da（a * a * a）= 3 * a * a

有關此主題的更多資訊，請參閱本文 。