Subject: Re: Ядро Рефал
From: Mike Potanin (potanin@mccme.ru)
Date: Fri Nov 02 2001 - 14:36:59 MSK
On Fri, 2 Nov 2001, Arkady Klimov wrote:
> Замечу только, что все, что до сих пор называлось "реализациями рефала" -
> это были в том или ином смысле интерпретаторы (исполнители буквально),
> то есть отладчики. Эффективная компиляция возникает только
> как отображение после суперкомпилятора. И там (и только там) об удобствах
> отладки речи уже не идет.
Вот именно по этому и хочется иметь вычищенное ядро. Это позволит отделить
компилятор от отладчика.
>
> | >
> | > Ящики? Да без них рефал никто не станет использовать, хотя это и внешняя
> | > по отношению к языку сущность. В рефале-6, на мой взгляд, они доведены до
> | > некоторой завершенности. Суперкомпилятору они, конечно, мешают, но
> | > объектно-ориентированная парадигма "мешает" куда больше, тем не менее
> | > отбрасывать ее - значит уклоняться от решения проблем, которые ставит
> | > сама жизнь.
> | Кто-нибудь занимался анализом использования ящиков? Наверняка есть
> | небольшое число ситуаций, в которых они полезны. И разработав методологию
> | их обхождения можно обойтись и без ящиков. Здесь аналогия скорее не с ОО,
> | а с GOTO. Когда-то казалось что без него ни как - пока Дейкстра не показал
> | обратное.
>
> Если кто-то когда-то использовал "ящики" не по существу, - это еще не повод
Не ясно какое их использование будет "по существу". Возможно то для чего
нужны ящики проще запрограмировать на другом языке, а из него вызвать
Рефал. Сам я на Рефале писал мало и мне ящики ни разу не понадобились.
Задачи я выбирал простые и ориентированые на Рефал, и придумать случай в
котором ящик уместен я не могу.
По моему анализ был бы очень полезен для развития языка.
> для их изгнания из языка. Насчет GOTO тоже не все так просто. В результате
> суперкомпиляции например, как и специализации, получаются существенно
> "goto-ориентированные" программы, и еще неизвестно, во что нам обойдется
> отсутствие GOTO в базовом языке их отображения (Яве).
Для Явы ни кто не мешает порождать не текст на Яве, а сразу байт-код.
Или еще какое-нибудь промежуточное представление. Получение Ява-текста
ценно только своей наглядностью (в том числе и для инвесторов :-)).
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD