Subject: Re: SCP's
From: Andrei P. Nemytykh (nemytykh@math.botik.ru)
Date: Thu Mar 09 2000 - 15:16:48 MSK
sup.html
------------------------------------------------------------------------------
Что может и чего не может суперкомпилятор...
------------------------------------------------------------------------------
Я хотел бы поблагодарить Александра Корлюкова за представленную им точку зрения. Она очень важна, как отражение реального опыта общения с суперкомпилятором чистого пользователя. Чистого пользователя -- в самом прямом и положительном смысле -- пользователя который смотрит на обсуждаемый преобразователь программ только с точки зрения его входа и выхода.
Необходимость рекомендаций при программировании под любой преобразователь программ отражают природу обсуждаемой задачи. И аналогии Александра с математикой весьма замечательны.
На мой взгляд, синтаксическое выделение подмножеств программ про которые можно было бы делать те или иные точные утверждения относительно данного преобразователя программ -- есть очень важная и интересная задача. Здесь , наверное, уместно вспомнить работу Wadler-а , который описал одно из таких подмножеств для Lisp-o подобных программ. Метод преобразований, названный им deforestation, по существу, является частным случаем применения иструментов суперкомпиляции.
Спасибо за внимание, Андрей Немытых.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD