Hutton's Razor is a trivial expression language with constants and addition:

data HR = Const Int 
        | HR :+: HR

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

It appears in many programming examples on the web, e.g. [1,2,3,4]. Does anyone know where it's first defined, maybe by Graham Hutton in a paper?

haskell functional-programming history
Edit
Report