Сколько там к LINQ?

Функционально, LINQ - не что иное, как синтаксический упрощение выражения монад. Linq to Objects (понимание списков - даже это уже было бы чрезвычайно полезно), о котором вы говорили, является лишь одним возможным применением этого (аналогично List-Monad в Haskell).

Если вы напишете

from x in expr1
from y in expr2
select x + y

, это будет не что иное, как

do
    x <- expr1
    y <- expr2
    return $ x + y

в Haskell.

Конкретные действия зависят от определенных пользователем Linq-провайдеров (методов расширения), из которых Linq.Enumerable - это всего лишь одна реализация, включающая IEnumerable s.

Предоставляя один, вы можете создать совершенно новую LINQ-семантику для ваших типов.

Пример: учитывая тип Option для вычислений, которые могут завершиться ошибкой (значения, допускающие значение NULL), можно определить Linq-провайдер для выполнения запросов к ним.

public static class MaybeExtensions
{
public static Option<T> ToMaybe<T>(this T value)
{
    return Option<T>.Some(value);
}

public static Option<U> SelectMany<T, U>(
    this Option<T> m, 
    Func<T, Option<U>> k)
{
    return !m.IsNone ? Option<U>.None : k(m.Value);
}

public static Option<V> SelectMany<T, U, V>(
    this Option<T> m, 
    Func<T, Option<U>> k, 
    Func<T, U, V> s)
{
    return m.SelectMany(x => k(x).SelectMany(y => s(x, y).ToMaybe()));
}
} 

Теперь это позволит нам написать такой код:

var sum = from x in ReadNumber("x")
          from y in ReadNumber("y")
          select x + y; 

Вычисление будет возвращать значение только в том случае, если все вычисления завершились успешно, и в противном случае потерпит неудачу при первом сбое.

В комбинация с деревьями выражений,Linq может быть чрезвычайно мощным и позволяет вам выражать -

1. Доступ к базе данных
2. Асинхронный поток программы
3. Maybe-Monads
4. Списки понимания
5. Рекурсивные анализаторы спуска
6. Продолжения
7. Мини-языки
8. Параллельные вычисления (PLinq)

Некоторые ссылки:

• Список поставщиков linq
• Чудеса монад
• Монады Linq или интегрированные в язык
• Библиотека парсера Linq
• Другое объяснение монад (F #)

В сочетании с комбинаторами с фиксированной точкой Linq предоставляет полный функциональный мини-язык ( Linq raytracer ).

Обратите внимание, что Scala и F # имеют схожие концепции в выражениях для понимания и вычислений. монадические абстракции:

Scala:

for (x <- expr1
     y <- expr2) yield x + y

F #:

monad {
    let! x = expr1
    let! y = expr2
    return x + y
}