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]. Кто-нибудь знает, где он был впервые определен, может быть, Грэм Хаттон в бумаге?
Самое раннее упоминание, которое я могу найти, это в 1998 году в разделе 2.1 "Хаттон "Сложить и развернуть для семантики программы" .
Hutton and Wright 2004 " Правильно составление исключений" описывает такой язык. Он не использует термин "Hutton Razor" (и мы не ожидаем этого), но он вводит этот минимальный язык с достаточной мотивацией, чтобы подразумевать, что для такого радикального подхода не существует такого уровня техники. На первой чеканке "hutton бритвы", чтобы описать этот langauge, я действительно не знаю...