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

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

У SR два аргумента, он определенно не имеет побочных эффектов, а вот является ли он детерминированным, я еще не решил. Всё будет зависеть от того, смогу я убедить самого себя, что детерминированность в смысле развертки входов во времени считается или нет)
Если есть конкретные контраргументы против такого определения детерминированности, я с удовольствием их обсужу)

Контраргументы простые и не менялись с самого моего первого сообщения.
Аргумента у SR два. Аргумента типа "развёртка входов во времени" у SR просто-напросто нет.

0) О какой "развёртке времени" вообще идёт речь, если у SR только два аргумента S и R?

1) Представим себе реальный блок SR.
Внимание, вопрос: что вернёт вызов SR(S=FALSE, R=FALSE). Что вернёт блок?
Может вернуть как TRUE, так и FALSE. Значит, это недетерминированная функция.

В этом плане, SR триггер ничем не отличается от "чтения файла" или "чтения координат мыши"

2) Теперь к "побочным эффектам".
У SR есть скрытое состояние. И вызовы с параметрами (S=TRUE, R=FALSE), (S=FASLE, R=TRUE) меняют это самое скрытое состояние SR триггера.
Изменение этого состояния можно наблюдать через вызов SR(S=FALSE, R=FALSE).
По определению, это и называется "функция с побочными эффектами".

[anthrwpos]

Контраргументы простые и не менялись с самого моего первого сообщения.
Аргумента у SR два. Аргумента типа "развёртка входов во времени" у SR просто-напросто нет.

тогда предлагаю такой вариант:
у SR два аргумента: история состояний подаваемых на S и история состояний подаваемых на R. Выход - история выходных состояний. Почему нет ?