我正在阅读" 功能依赖的乐趣 "
据说这部分是静态计算的,即在编译时执行
data Nat = Zero | Succ Nat
three = Succ(Succ(Succ Zero)))
even Zero = True
even (Succ n) = odd n
odd Zero = False
odd (Succ n) = even n
(odd three)
但我不太了解静态计算的内容.而且我也没有发现编译器计算的任何异常以检查类型