KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
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?
Tags (comma-separated)
Save Edits
Cancel