Input/Output

Тема и классификатор в документации PicoLisp группы функций - path in out err ctl input output fd tty prompt ipid opid pipe any sym str load hear tell key poll peek char skip eol eof from till line format scl read print println printsp prin prinl msg space beep tab flush rewind ext rd pr wr wait sync echo info file dir open close port listen accept host connect udp script once finish rc acquire release tmp pretty pp show view here prEval mail

https://picolisp.tiddlyhost.com/#Input%2FOutput

Так или иначе, естественно, уже были акценты на некоторые из функций, например, put и IO или download … print как тема , а также те же set и get …

Ну ведь, действительно, центральная тема любой системы, генерирующей и трансформирующей информацию. Только тема хранения информации может конкурировать с темой манипулирования ею. Когда мы знакомимся с системой, то в первую очередь, с её интерфейсом, а только потом с архитектурой, потому что сначала она для нас “черный ящик“ и часто остается для большинства таковой. Я бы, в приниципе, описание информационной системы начинал с этой темы, с темы ввода-вывода, которая на одном уровне описания внешнего окружения и архитектуры (внутренних потрохов).

P.S. Евангелисты “так называемых, чистых функций“ пытаются бороться с “так называемыми, побочными эффектами“ и всякими правдами и неправдами “заворачивают“ или, точнее, просто прячут эти важные и принципиальные операции, вместо того, чтобы наоборот их акцентировать. Пришла пора навести здесь … теорию, “доконцептуализировать тему”. По-моему, пока это выглядит все архаично, особенно в эпоху тотального интернета, когда мы не только гоняем туда-сюда, что-то неизвестное и слабо контролируемое, по сети, но и используем внешние сервисы, не говоря уже о распределенных системах, в принципе. Я бы объединил темы алгебраических типов данных и теорию типов, вообще, в одну, типа “компьютерных алгебр“ и может попробую на примере PicoLisp, отклассифицировать ее функции с этой позиции. Однако, идея для структуры мануала.