Haskell静态计算

Question

我正在阅读＆＃34; Fun with functional dependencies＆＃34;

这部分据说是静态计算的，即在编译时执行

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)

但我不太了解静态计算的内容。而且我也没有发现编译器要计算的任何异常以检查类型

Answer 1

该代码中没有任何内容是静态计算的。请注意，您发布的代码来自“Dynamic Computation”部分，而不是“Static Computation”。