Subject: Scp4's news.
From: A.P.Nemytykh (nemytykh@math.botik.ru)
Date: Tue Oct 26 1999 - 00:17:00 MSD
Об'явление.
На страничке http://www.botik.ru/pub/local/scp/refal5/refal5.html
выложена новая версия SCP4.
Что нового:
-----------------------------------------------------------------
- Данная версия SCP4 ТРЕБУЕТ ОБНОВЛЕННОЙ версии РЕФАЛА-5
(которую можно взять на той же старнице ).
Под старой версией Рефала-5 данная версия SCP4 работать НЕ будет.
- Исправлено несколько ошибок.
Большое спасибо Александру Корлюкову и Аркадию Климову, за
пересланные мне тесты на ошибки.
- Добавлено большое количество новых демонстарционных примеров.
Большое спасибо Александру Корлюкову и Аркадию Климову за
интересные примеры. Под DOS часть примеров работает медленно.
( см. DOC/USE.TXT и сами примеры DEMO/)
- Появилась новая директория DEMO. Вся демонстарция перемещена
в этот каталог.
- Можно запустить Scp4 из любого пользовательского каталога,
если указать путь (path) к исполняемым модулям Рефала-5 и корневому
каталогу Scp4 (либо скопировать из него batch-файлы в каталог,
куда уже указан путь).
( см. DOC/USE.TXT )
- Открыт третий уровень трассировки: печать выдается в Рефал-стиле.
( см. DOC/USE.TXT )
- реализована чистака экранируемых предложений;
( Пример: F { '111' eX = 0; ==> F { '111' eX = 0; }
'1111' eX = 1;
}
)
- внесены мета-знания о встроенной арифметике Рефала-5.
( Пример: <Mul (e.1) 0> ==> 0,
<Div (e.1) 0> ==> Recognition Impossible
)
- расширен входной язык описания программ для суперкомпиляции:
-- допускаются жесткие образцы после вызова функции в
левой части предложения;
( Пример:
... e1, <Divmod e1>: (e.q) e.r = <F e.q> e.r;
)
-- допускаются вызовы внешних функций в правых частях предложений;
( Пример: e1 = <Mul <Fact e1>>; )
-- семантика t-переменных реализована в полном об'еме
и отныне совпадет со стандартной Рефал-семантикой этих
переменных;
Оставлена возможность понимания t-переменных
в прежнем смысле ( во входной программе и задаче на
суперкомпиляцию ): такую возможность дает ключ '/t'
при вызове INREF4 и MST4.
-- допускаются повторные t и е-переменные в левой части
предложения;
( подробности см. в DOC/USE.TXT, DOC/INREF4.TXT )
- внешние исполняемые ( в compile-time ) функции могут быть об'явлены
непосредственно в тексте программы подвергающейся преобразованиям;
Старый способ об'явления таких функций так же возможен.
( подробности см. в DOC/USE.TXT, DOC/INREF4.TXT )
- появились три новых файла: MAIN_SCP.REF, MAIN_SCP.BAK, FAQ.TXT
- появилось несколько новых batch-файлов
( подробности см. в DOC/USE.TXT )
Модули SCPWHOLP.BAT , SCPWHOLE.BAT позволяют исполнить поную
сессию суперкомпиляции.
- служебный каталог SCPOUT теперь чистится автоматически.
- я буду Вам благодарен, если Вы не забудете указать путь (path)
к исполняемым модулям Рефала-5 и корневому каталогу Scp4 (либо
скопировать из него batch-файлы в каталог, куда уже указан путь).
- Большое спасибо всем пользователям Scp4.
Андрей Немытых.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD