"Dao cạo Hutton" đầu tiên được định nghĩa ở đâu?

Question

Hutton của Razor là một ngôn ngữ biểu hiện tầm thường với các hằng số, bổ sung:

data HR = Const Int 
     | HR :+: HR 

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

Nó xuất hiện trong rất nhiều ví dụ lập trình trên trang web, ví dụ [1, 2, 3, 4]. Có ai biết nơi nó được xác định lần đầu tiên, có thể bởi Graham Hutton trong một bài báo?

Answer 1

Đề cập sớm nhất tôi có thể tìm thấy là vào năm 1998, trong Mục 2.1 của Hutton's Fold and Unfold for Program Semantics.

Answer 2

Hutton and Wright's 2004 "Compiling Exceptions Correctly" mô tả ngôn ngữ như vậy. Nó không sử dụng thuật ngữ "Hutton's Razor" (chúng tôi cũng không mong đợi nó) nhưng nó giới thiệu ngôn ngữ tối thiểu này với động lực đầy đủ để ngụ ý không có ý tưởng nghệ thuật trước cho một cách tiếp cận quyết liệt như vậy. Trên đồng tiền đầu tiên của "dao cạo hutton" để mô tả langauge này, tôi thực sự không có ý tưởng ...