Удалить устаревшие функции Простого Рефала из Library(Ex)

[Mazdaywik]

Цель

Предлагается избавиться от устаревших функций Простого Рефала (на букву F которые). Дублирующие — удалить, остальные переименовать.

Мотивация

Простой Рефал не нужен, ибо устарел. И избыточные функции в стандартной библиотеке тоже не нужны.

Задача

• Удалить следующие функции:
  • FClose — дублирует Close.
  • FReadLine — дублирует Get.
  • FWriteLine — дублирует Putout.
  • ReadLine — дублирует Card.
  • WriteLine — дублирует Prout.
  • IntFromStr — частично дублирует Numb. В отличие от Numb производит элементы синтаксического анализа, но может отделить только одну макроцифру (что является артефактом Простого Рефала). Синтаксический анализ нужно проводить явно, поэтому функция IntFromStr не нужна.
  • FastIntFromStr — вызывает IntFromStr и падает, если не Success. Не нужна вместе с IntFromStr.
  • StrFromInt — дублирует Symb. Но сама функция Symb реализована через StrFromInt, поэтому пока достаточно удалить у неё $ENTRY.
  • Y — комбинатор неподвижной точки. Сложная и непонятная функция с неудобным интерфейсом для того, чтобы создавать рекурсивные безымянные функции. Я ей не пользуюсь, т.к. функция себя не оправдывает. Циклы по последовательности успешно реализуются Map, MapAccum, Reduce. Для циклов общего вида можно рассмотреть интерфейс вроде экспериментальных отсюда:
    https://gist.github.com/Mazdaywik/69a574565dc3e2904b6bbeb61e30c781
• Переименовать следующие функции:
  • FOpen → Open-Auto. Отличия в именах Open и FOpen ничего не говорят о различии их семантики. Заманчиво, конечно, было бы переименовать Open в ReOpen, но нельзя — это встроенная функция Рефала-5.
  • FWriteBytes → WriteBytes. А вообще, она нужна? Ведь <Write s.File <Chr e.Bytes>> справляется не хуже. Оставим для симметрии с ReadBytes.
  • FReadBytes → ReadBytes.
  • MapReduce → MapAccum, уже давно она deprecated и является синонимом для MapAccum, давно пора удалить.
  • Seq → Pipe. Аналогично MapReduce.
• Не трогаем:
  • SymbCompare — эффективная функция для сравнения символов, эмулировать её при помощи Compare громоздко и медленно.
  • FTell, FSeek — лучше имена не придумаешь. Tell и Seek выглядят не так понятно, FileSeek, FileTell — громоздко.
  • RenameFile — симметрична RemoveFile.

Старая постановка задачи

Предлагается следующий пакет изменений.

• Стандартная библиотека пополняется функциями DebugDump и DebugDump-T, которые выводят объектное выражение в файловый поток (включая #STDOUT и #STDERR, см. далее) в виде однозначного дампа. Их реализация просто вызывает refalrts::debug_print_expr.

• Библиотечные функции WriteLine и FWriteLine смогут печатать только потоки char’ов: будут падать на выражениях, содержащих что-либо ещё.

• В качестве файловых дескрипторов для библиотечных функций FWriteLine и FReadLine можно будет передавать идентификаторы #STDIN, #STDOUT, #STDERR #stdin, #stdout, #stderr. Функции LoadFile и SaveFile будут получать первым параметром t.FileTarget:

  t.FileTarget ::= s.ExFileHandle | (e.FileName)
  s.ExFileHandle ::= s.FileHandle | #STDIN | #STDOUT | #STDERR
  

  Если функция первым параметром получает дескриптор, то она, соответственно, читает или пишет строки, но не закрывает его в конце.

• Функции FWriteLine и FReadLine не возвращают файловый дескриптор.

• Для вывода объектных выражений в читабельном виде в LibraryEx будут предусмотрены функции WriteExpr, FWriteExpr, SaveFile-Expr, StrFromExpr, в Library — StrFromAtom. Последняя функция похожа на StrFromInt, формирует текстовое представление атома. Функция StrFromExpr, реализованная через StrFromAtom, выводит выражение по следующим правилам:

  • Идентификаторы и указатели на глобальные функции выводятся просто как их имена (как печатает их сейчас WriteLine).
  • Числа выводятся в десятичном виде.
  • Замыкания выводятся в виде Имя\…[N], где N — количество ссылок на функцию. Содержимое замыкания не печатается.
  • Файлы выводятся как *XXXX…XX, где X — шестнадцатеричная цифра.
  • Выражение в круглых скобках выписывается в круглых скобках.
  • Выражение в квадратных скобках выписывается как [ADT], т. е. его содержимое не печатается.
  • Между двумя элементами из набора {идентификатор, функция (любая), число, файл, АДТ, круглая скобка} ставится пробел. При этом пробел не ставится между двумя одинаковыми скобками и внутри группы пустых скобок.

[Mazdaywik]

Если незначительно изменить формат StrFromExpr, то функции вывода будут совместимы с функциями Print, Prout, Put и Putout РЕФАЛа-5 (и, соответственно, Рефала-5λ). Поэтому данная задача включается в соответствующую веху.

Комментарий к старой постановке задачи.

[Mazdaywik]

Цели уже реализованной задачи #130 конфликтовали с этой задачей, поэтому формулировка несколько устарела. Частично конфликты я разрешил тем, что вычеркнул неактуальный пункт. В остальном задача интересна и пусть остаётся.

Комментарий к старой постановке задачи.

[Mazdaywik]

Тема уточнена, чтобы соответствовать постановке задачи. Тем более, что в постановке задачи фигурируют не только функции ввода-вывода.