Макросы ОЛ: с побочными эффектами и/или детерминированные?

[Владимир Ситников]

Собственно: да, для любой ОЛ программы/макроса можно составить Haskell программу, которая ведёт себя так же (ну, возвращает те же значения при тех же входах).
Работу с сетевыми переменными пока опустим. Даже работу с временем можно опустить (хотя я ни разу не соглашусь, что "ОЛ blink это читая функция")

Но значит ли это, что любая ОЛ программа является "чистой"? Вовсе нет. Или, по-вашему, действительно любая ОЛ программа является "чистой", "детерминированной" и "без побочных эффектов"?
Поэтому неправильно "оправдывать ОЛ" словами <<У макроса на вход помимо его реальных аргументов есть ещё "аргумент с состоянием", который передаётся неявно>>.

Да нет никакого дополнительного аргумента у ОЛ макроса.
Запускаешь ОЛ макрос 2 раза -- и он возвращает разное. По определению это означает, что макрос не является детерминированным. Какие ещё разговоры могут быть?

[anthrwpos]

Собственно: да, для любой ОЛ программы/макроса можно составить Haskell программу, которая ведёт себя так же

Ну сам по себе blink написать нельзя, ибо чистая программа не имеет доступа к системному времени и не может рассчитать время цикла. Но если время
цикла постулировать как константу, можно чистым образом и блинк сделать)

Но значит ли это, что любая ОЛ программа является "чистой"?

Разумеется нет. ОЛ программа читает входы и записывает выходы.
Я продвигаю идею о чистоте только макросов.

[Владимир Ситников]

Ну сам по себе blink написать нельзя, ибо чистая программа не имеет доступа к системному времени и не может рассчитать время цикла. Но если время
цикла постулировать как константу, можно чистым образом и блинк сделать)

Что за бред? На Haskell нельзя написать blink?
Вы в своём уме? Data.Time.Clock и вперёд.
Становятся ли Haskell функции от этого нечистыми? Нет. Как-никак, в Haskell вообще все функции являются чистыми функциями.

Но вы, я так понял, считаете, что "нечистые" это только те функции, которые выполняют IO (ну, читают файлы, считывают значения DI/DO).
Да, те функции, которые читают файлы нечистые.
Но могут быть (разумеется, не в Haskell, а в Си, в ST, в ОЛ, в МЭК61131 и т.п.) нечистыми даже те функции (ФБ, макросы), которые с файлами и IO никогда вообще не работают.