Где определяется "Хаттонская бритва"?

Hutton 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]. Кто-нибудь знает, где он был впервые определен, может быть, Грэм Хаттон в бумаге?

Ответы

Ответ 1

Самое раннее упоминание, которое я могу найти, это в 1998 году в разделе 2.1 "Хаттон "Сложить и развернуть для семантики программы" .

Ответ 2

Hutton and Wright 2004 " Правильно составление исключений" описывает такой язык. Он не использует термин "Hutton Razor" (и мы не ожидаем этого), но он вводит этот минимальный язык с достаточной мотивацией, чтобы подразумевать, что для такого радикального подхода не существует такого уровня техники. На первой чеканке "hutton бритвы", чтобы описать этот langauge, я действительно не знаю...