Subject: Re: Yoshihiko Futamura, "Partial Evaluation of Computation Process-An Approach to a Compiler-Compiler"
From: Sergei Romanenko (roman@integrum.ru)
Date: Thu Jun 03 2004 - 01:02:00 MSD
Доброе время суток!
----- Original Message -----
From: "Andrei Klimov" <klimov@keldysh.ru>
> alpha(alpha, int), где alpha -- "partial evaluation algorithm".
Да, интересно что до alpha(alpha, alpha) Футамура додумался только в 1973
году,
в отчете
Futamura,Y. EL1 Partial Evaluator (Progress Report). Center for Research in
Computing Technology, Harvard
University, January 1973.
который сейчас доступен в электронной форме... Этот отчет цитируется в
Partial Evaluation of Computation Process, Revisited
http://www.brics.dk/~hosc/local/HOSC-12-4-pp377-380.pdf
А сам отчет я Андрею показывал некоторое время назад...
Мне более или менее понятно, почему Ерошов, написавши alpha(int,prog) не
догадался написать alpha(alpha, int). Обозначения у него были такие, что
выразить alpha(alpha, int) было бы непросто. Но почему Футамура, написав
alpha(alpha, int), и именно в таком кратком виде, сразу же не написал в
следующей строчке alpha(alpha, alpha)? Значит, был к этому психологический
(а не технический) барьер...
Сергей Романенко
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:01 MSD