Изменять входные параметры чистая функция имеет право, соответственно чистая процедура (т.е. функция без возвращаемого значения) вполне возможна.

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

Впрочем есть подозрение, что большинство функций класса string на самом деле работают с внешним массивом char'ов, а не со строкой и соответственно чистыми не являются и близко.

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

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

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

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

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

При использовании свободных функций для получения этой информации достаточно просмотреть одну строчку кода, в случае использования функций класса — десятки, а то и сотни строчек кода.

Свободные бизнес-функции много выше уровнем, нежели linq.

Graphics.DrawText это свободная функция и очень полезная функция.

Свободные функции могут иметь самый разный уровень. Но уровень верхних свободных функций определяется уровнем преобразования.

Естественно если бизнес-задача требует только низкоуровневых преобразований (как добавление элемента в список, к примеру)

Извиняюсь, туплю что-то на ночь глядя. Graphics.DrawText действительно не является свободной функцией

Все-таки твоя способность не замечать суть за формализмами продолжает меня удивлять.

S>Отсюда следует что функции linq для тебя не являются свободными. Что с ними не так? Они вроде как не функции класса (хоть и лежат в Enumerable классе, но в C# нет возможности делать функции без класса ). Но что-то же ты называешь свободными.

if (ListHlp.IsOverflowedArray(realCount, logicCount + 1))
  array = ListHlp.ArrayResize(array, realCount * 2, logicCount);

array[logicCount] = addValue;
logicCount++;

// псевдокод. TextBoxHelpers.cs
static Size Measure(TextBox textBox)
{
  if (textBox.WordWrap)
  {
    // ...
  }
}

// TextBox.cs
Size Measure()
{
  if (this.WordWrap)
  {
    // ...
  }
}

S>>Отсюда следует что функции linq для тебя не являются свободными. Что с ними не так? Они вроде как не функции класса (хоть и лежат в Enumerable классе, но в C# нет возможности делать функции без класса ). Но что-то же ты называешь свободными.

U>if (ListHlp.IsOverflowedArray(realCount, logicCount + 1))
U>  array = ListHlp.ArrayResize(array, realCount * 2, logicCount);

U>array[logicCount] = addValue;
U>logicCount++;
U>

public void Add(T item)
{
    if (this._size == this._items.Length)
    {
        this.EnsureCapacity(this._size + 1);
    }
    this._items[this._size++] = item;
    this._version++;
}

This attribute is not enforced by the current analysis tools; you should use this attribute only if you are sure that the methods are pure.

Furthermore, in the future, we may provide purity checkers that ascertain that a method declared as Pure actually is pure.

<Border x:Name="Border" BorderThickness="{TemplateBinding BorderThickness}"
  CornerRadius="1" Opacity="1"
  Background="{TemplateBinding Background}"
  BorderBrush="{TemplateBinding BorderBrush}">
<!-- ... -->
</Border>