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

Question

Хаттона Бритва является тривиальным языком выражения с константами и дополнение:

data HR = Const Int 
     | HR :+: HR 

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

Он появляется во многих примерах программирования в Интернете, например, [1, 2, 3, 4]. Кто-нибудь знает, где это определяется первым, может быть, Грэм Хаттон в газете?

Answer 1

Самое раннее упоминание, которое я могу найти, это в 1998 году в Разделе 2.1 Хаттона Fold and Unfold for Program Semantics.

Answer 2

Hutton and Wright's 2004 «Compiling Exceptions Correctly» описывает такой язык. Он не использует термин «Хиттонская бритва» (и мы не ожидаем этого), но он вводит этот минимальный язык с достаточной мотивацией, чтобы подразумевать, что для такого радикального подхода не существует такого уровня техники. На первой чеканке «бритвы хаттона», чтобы описать этот langauge, я действительно не знаю ...