衍生品

类型的导数是其类型的单孔上下文的类型。如果我们使一个类型变量在每个可能的点上消失并对结果求和，那么这就是我们将得到的类型。

作为一个例子，我们可以采用三重类型 (a,a,a)，并获得它

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

这与我们通常的推导定义一致，如：

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

有关此主题的更多信息，请参阅本文 。