Если процедура не меняет ничего кроме своих параметров и возвращаемого значения

iqsort :: (Vector v a, Ord a) => v a -> v a
iqsort = modify iqsort' where
    iqsort' xs  | len < 2   = return ()
                | otherwise = do
                    p <- xs `M.read` (len `div` 2)
                    m <- M.unstablePartition (< p) xs
                    iqsort' $ M.slice 0     m         xs
                    iqsort' $ M.slice (m+1) (len-m-1) xs
                where len = M.length xs

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

S>Но чистые функции, работающие с массивами не противоречат и определению Влада. Твоего определения я не видел. Откуда ты сделал вывод что раз массив, значит нечисто — не понятно.

Речь шла о внешнем массиве. Внешний это значит не являющийся аргументом. Как функция использующая внешние переменные может быть чистой?

Речь шла о внешнем массиве. Внешний это значит не являющийся аргументом. Как функция использующая внешние переменные может быть чистой?

class Foo
{
    int[] _array = new [] {1, 2, 3};
    public int GetSum()
    {
         return _array.Sum();
    }
}

T Sum(IEnumerable<T> items, Func<T, T, T> summator);

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

select 5 as i from dual

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

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

Впрочем есть подозрение, что большинство функций класса 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>

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

public class DevExpressCheckEditCellFiller : IGridCellFiller
{
    public static CheckEdit CreateCheckEditControl(Rectangle cellRectangle, 
      IGridColumn column, object row, object value)
    {
      CheckEdit checkBox = new CheckEdit();

      ...
      checkBox.Size = cellRectangle.Size;

      Color? backColor = SynchronizerHlp.GetBackColor(column, row);

      if (backColor != null)
        checkBox.BackColor = backColor.Value;

      checkBox.Text = SynchronizerHlp.GetCellDescription(column, row);
      ...

      return checkBox;
    }
}

  public class SynchronizerHlp
  {
    public static string GetCellDescription(IGridColumn column, object row)
    {
      Getter<string, object> descriptionGetter = column.GetExtended("CellDescription") as Getter<string, object>;
      if (descriptionGetter == null)
        return null;
      return descriptionGetter(row);
    }
  }