Subject: Ядро Рефал
From: Mike Potanin (potanin@mccme.ru)
Date: Fri Nov 02 2001 - 12:03:00 MSK
Рефал по сути язык очень просто, но конкретные реализации навешивают на
него столько, что возникают проблемы, например с переносимостью.
По моему стоит обсудить ядро языка, которое по первых легко
реализовывалось (с точностью до представления строк), во вторых
поддерживалось бы суперкомпилятором. Остальное попытаться вынести в
библиотеки или вообще выкинуть.
Например нужен ли перехват ошибок? Написать программу не порождающюю
ошибок можно добавив в каждую функцию по строчке. Правильно типизированные
программы ошибки порождать почти не должны. Перехват ошибки операция
дорогая и использовать их как способ ветвления не эффективно.
Особых приимуществ в надежности они не дают.
Суперкомпилятор их тоже врядли съест.
Возникает вопрос - нужны ли они вообще?
Второй пример странной конструкции это ящики вообще и ссылки на ящики в
особенности. Они не доставляют радости ни суперкомпилятору ни сборщику
мусора.
Еще с моей точки зрения "лишней деталью" в Рефале является ввод-вывод.
Программировать его на Рефале не большое удовольствие, приятней было бы
вызывать Рефал из программы скажем на TCL. Каждый бы занимался своим
делом.
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:59 MSD