functional - programming in haskell

¿Dónde se define por primera vez "Hutton''s Razor"?

Question

Hutton''s Razor es un lenguaje de expresión trivial con constantes y adición:

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

Aparece en muchos ejemplos de programación en la web, por ejemplo, [ 1 , 2 , 3 , 4 ]. ¿Alguien sabe dónde se definió por primera vez, tal vez por Graham Hutton en un documento?

Answer 1

La " Compilación correcta de excepciones " de Hutton y Wright de 2004 describe este lenguaje. No utiliza el término "Maquinilla de afeitar de Hutton" (ni tampoco lo esperaríamos), pero presenta este lenguaje mínimo con suficiente motivación para dar a entender que no hay una técnica anterior en mente para un enfoque tan drástico. En la primera acuñación de "la navaja de afeitar" para describir este idioma, realmente no tengo idea ...

Answer 2

La primera mención que puedo encontrar es en 1998, en la Sección 2.1 de Hutton''s Fold and Unfold para Program Semantics .