haskell - "Hutton' s Razor”首先在哪里定义的？

Question

Hutton's Razor 是一种带有常量和加法的简单表达式语言:

data HR = Const Int 
        | HR :+: HR

eval :: HR -> Int
eval (Const n)   = n
eval (e1 :+: e2) = eval e1 + eval e2 

它出现在网络上的许多编程示例中，例如[1 , 2 , 3 , 4 ]。有谁知道它是在哪里首次定义的，也许是 Graham Hutton 在一篇论文中定义的？

Answer 1

我能找到的最早的提及是在 1998 年，在 Hutton 的 Fold and Unfold for Program Semantics 的第 2.1 节中。 .