Sergei M Abramov at home (abram@botik.ru)
Sun, 4 Jul 1999 11:54:49 +0400
День добрый, Сергей Анатольевич!
Из-за запарки (всякой) только сейчас отвечаю... :-( -- гад, конечно!
Спасибо за отличное письмо! Полная ясность с документами по реализьации
Рефала...
>Диссертация как таковая существует только на бумаге, но ее содержимое
>покрывается монографией "Реализация Рефала-2".
...
>У меня еще осталось 7 экземпляров этой монографии.
...
>Файлы делались под какой-то форматер (не могу вспомнить, как назывался).
Для
>него вставлялись директивы форматирования, которые начинались с точки
>(например, .SP), и писались с начала строки.
...
>Потом Хорошевский занимался перекачиванием документации по Рефалу-2 на PC.
>Сделал ли он это для монографии - не знаю.
(TO-DO-list): спросить у Хорошевского эти файлы (вдруг есть?)
>А не проще ли было бы сейчас отсканировать монографию (хотя полиграфическое
>качество и мерзкое). При этом формулы можно было бы переделать (руками) в
>человеческий вид...
>
>Есть еще книга по Рефалу Плюс в виде файлов для ChiWriter'а для PC (файлы у
>меня есть). Интересно, существует-ли конвертор из ChiWriter'а во что-то
>другое?
Да, эти файлы есть у меня. И, сделать конвертор на рефале (во что-то с
теговой разметкой, скажем в ТеХ или HTML)из формата кай-райтера -- не
сложно..
(TO-DO-list): конвертнуть книжку по Рефалу-Плюс.
>По виртуальному коду для Рефала Плюс и алгоритму компиляции на него у меня
>есть два (не опубликованных) LaTeX-документа.
Ого! Пожалуйста вышли их мне!
>> (2) Возрождение реализаций (поддержки рефала)
>
>Для Рефала Плюс хорошо было бы усовершенствовать алгоритм сборки мусора
>(чтобы работал инкрементно, и чтобы было два generations).
>
>Та сборка мусора, что сейчас в Moscow ML/Caml Light на порядок совершеннее
>того, что есть в Рефале Плюс.
>
>При этом надо исходить из того, что памяти теперь стало много (не 640 Kb, а
>десятки мегабайт). Значит, при реализации gc можно спокойно заводить стеки,
>дополнительные таблицы и т.п.
Да, это все верно и это "вкусные" идеи. Они лежат в области run-time
support.
На мой взгляд, основные сегодняшние проблемы Рефала-Плюс в области
компилятора и (на мой вкус) ближайшие шаги, которые надо сделать:
-- единый для всех платформ компилятор Рефал+ --> Си
(а не в obj/гну-асм, как есть сейчас);
-- единый для всех платформ компилятор Рефал+ --> Рефал-Байт-Код (язык
сборки)
+ единый для всех платформ интерпретатор РБК/Си;
-- уже потом--всякие улучшения и т.п.
Удачи
Сергей
This archive was generated by hypermail 2.0b3 on Sun Jul 04 1999 - 11:56:36 MSD