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

[anthrwpos]

Т.е. всё, как я и говорил: вы здесь в функцию set_reset передаёте "состояние триггера".

Таки нет!)
Посмотрите на сигнатуру set_reset. Она принимает только два Bool аргумента и никаких предыдущих состояний)
Состояние содержится внутри функции prc, которую мы вызываем посредством execState.

По-вашему, любая программа из ФБ, не обращающаяся к файлам/IO является "чистой"?

Почти так. Всё, что не имеет никаких средств для обращения к IO по видимому, является чистым.

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

Почти так. Всё, что не имеет никаких средств для обращения к IO по видимому, является чистым.

О, круто (с вашего позволения, я пока не буду отвечать про сигнатуру set_reset)


Давайте посмотрим на такой код на C:

int counter = 0;

int abcd() {
  counter = counter + 1;
  return counter;
}

Внимание, вопрос: является ли функция abcd чистой?
Очевидно, что IO эта функция не выполняет.

[anthrwpos]

Давайте посмотрим на такой код на C:

int counter = 0;

int abcd() {
  counter = counter + 1;
  return counter;
}

Внимание, вопрос: является ли функция abcd чистой?
Очевидно, что IO эта функция не выполняет.

Нет, поскольку эта функция может читать ввод посредством некой другой функции, которая будет записывать его в переменную counter.

А в хаскеле вы из монады IO повлиять на состояние монады State не можете никак =)

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

Нет, поскольку эта функция может читать ввод посредством некой другой функции, которая будет записывать его в переменную counter.

Чего чего?
"функция может читать ввод посредством некой другой функции" ?

О чём вообще речь. IO в программе вообще не происходит. Тут же просто сложение.
Скажите, пожалуйста, по какому принципу вы относите эту функцию abcd к нечистым?

Я могу добавить больше ограничений: никакая другая функция не обращается к переменной counter. Ни пишет, ни читает.
Что? abcd это чистая функция в таком случае?

[anthrwpos]

Чего чего?
"функция может читать ввод посредством некой другой функции" ?

О чём вообще речь. IO в программе вообще не происходит. Тут же просто сложение.
Скажите, пожалуйста, по какому принципу вы относите эту функцию abcd к нечистым?

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

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

Чистота функции - это свойство самой функции, оно не должно зависеть от того, как устроена ваша остальная программа.

О, я тоже так думаю.

А такой код? Это чистая функция?
На всякий, случай: static объявляет такую переменную, которая сохраняет своё состояние между вызовами функции

int abcd2() {
  static int counter; /* обращаем внимание на слово static */
  counter = counter + 1;
  return counter;
}

Переменная которую использует эта функция глобальная. Её чтение равносильно чтению ввода, потому что к этой переменной имеет доступ любая функция в программе, в том числе и некая (предполагаемая) функция, которая может осуществлять ввод.

Если вы говорите, что "чистота" это свойство самой функции, то непонятно как тут же поворачивается язык говорить о "к этой переменной имеет доступ некая (предполагаемая) функция, которая может осуществлять ввод".
На этом моменте я вы предложил вам обратиться к определению чистой функции. И не к вашему личному определению, а определению из более надёжного источника. Wikipedia, книга, учебник, статья.

В коде abcd2 к переменной counter уж точно никогда не сможет обратиться ни одна другая функция.
Что? abcd2, получается, чистая функция?