"Hutton's Razor"は最初にどこに定義されていますか？

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]。だれかが最初に定義されている場所を知っていますか、おそらくGraham Huttonが紙に書いていますか？

Answer 1

私が見つけることができる最も早い言及は、ハットンのFold and Unfold for Program Semanticsのセクション2.1で1998年です。

Answer 2

ハットン・アンド・ライトの2004年「Compiling Exceptions Correctly」は、そのような言語を説明しています。それは "ハットンの剃刀"という言葉を使っていません（それも期待しません）が、このような劇的なアプローチのために先行技術が念頭に置かれているわけではありません。この子を描写する "ハットンのかみそり"の最初のコインナージでは、私は実際には考えていません...