Здравствуйте, alvas, Вы писали:

A>Здравствуйте, AngeL B., Вы писали:

AB>>>>def isItPure( act : void->int ) { act(); 1; }
A>>>И такая тоже нет

AB>>вот если такая тоже нет, то функции filter, map, reduce перестают быть pure. Все функции, которые их вызывают тоже и ценность идеи начинает асимптотически приближаться к нулю.

A>Как я понимаю ваш пример = какое бы значение ваша функция не получила в виде параметра она всегда возвращает единицу.

A>Мое мнение
A>def isItPure() { 1; } — чистая
A>def isItPure( act : void->int ) { act(); } — чистая
A>def isItPure( act : void->int ) { act(); 1; } — нет
A>def isItPure( act) { 1; } — нет

A>Прокоментируйте, пожалуйста.

даже уже все сказали ( http://rsdn.ru/forum/nemerle/3734760.1.aspx

Автор: WolfHound
Дата: 14.03.10

)

1 и 4ый варинат — всегда чистые,
если act — чистая то 2ой и 3ий варианты тоже чистые, иначе — грязные..