DEFINE_TABLE
(
    foo,
    (int, id)
    (int, code)
    (double, value)
    (int, number)
);

EP>>Так это же для реализации языка запросов времени компиляции с нулевыми накладными расходами — в рамках непосредственно C# такое и вовсе нереализуемо

EP>>>Такие запросы тоже можно сгенерировать во время компиляции — вопрос в количестве вариантов.
IT>>В этом нет смысла. Единственная проблема ET — это сложность получения хешь функции самого дерева, т.к. оно перестраивается компилятором при каждом вызове. Если делать свой собственный DSL, то такую возможность можно предусмотреть и тогда проблема кеширования запросов отпадает. Т.е. не стоит выпрыгивать из штанов в compile-time, получая неполноценный результат.
EP>Не спорю, возможно и не стоит.
EP>Я лишь говорю о том, что многие преимущества linq, в том числе и то что ты называешь главным козырем — type-safety, можно получить через генерацию compile-time, даже для динамических запросов. Насколько же это целесообразно — отдельный и важный вопрос.

EP>Аргументация же оппонентов постоянно витает где-то в далеких от исходного тезиса темах, типа экономической целесообразности, наличия мух в голове авторов кода, редкости таких ситуаций, метапрограммирования на макросах и шаблонах и т.п.

//if (value == null)
 //    source=source.Where(x=>x!=null); // Уберем фильтр на Linq из-за тормоза делегата

                bool isFirst=true;
                bool fl=0;
                foreach(var item in source)
                {
                   // Поставим фильтр сюда
                  if (isNullable && item == null) continue;

                   var x = selector(item ); 
                   if (isFirst) 
                      {                  
                      isFirst=false;
                       fl=-1;
                     }
                    else
                      fl=comparer.Compare(x,value);
                                 
                        if (fl< 0)
                        {
                            value = x;
                            result= item;
                        }
                    }
                
                                  if (isFirst)
                  
                                  { 
                                    // по их алгоритму при пустом списке вызвать исключение для Nullable
                                      if (isNullable)
                                        throw NoElementsException();
                                          else
                                       return default(TSource); // вернуть default при пустом списке 
                                    }
            return result;

.NET Native использует то же сервер, что и компилятор C++, который оптимизирован для статических сценариев предварительной компиляции.

from(foo).where(foo.id > 42_i).select(foo.value, foo.id, foo.number)

auto q = from(foo).where(foo.id > 42_i).select(foo.value, foo.id).select(foo.number);

for(auto &x : to_vector( q ))
    cout << "ROW: " << x.id << " " << x.value << " " << x.number << endl;

EP>>DEFINE_TABLE
EP>>(
EP>>    foo,
EP>>    (int, id)
EP>>    (int, code)
EP>>    (double, value)
EP>>    (int, number)
EP>>);
EP>>

struct foo_aux
{
    using table_type = foo_aux;
    struct id_column
    {
        struct field_id
        {
            struct name_string
            {
                static constexpr auto value() { return "id"; }
            };
            template <typename T>
            struct field
            {
                T id;
            };
            template <typename T>
            static auto &access(T &x)
            {
                return x.id;
            }
        };
        using type = CTQL::table_column<table_type, int, field_id>;
    };
    struct code_column
    {
        struct field_code
        {
            struct name_string
            {
                static constexpr auto value() { return "code"; }
            };
            template <typename T>
            struct field
            {
                T code;
            };
            template <typename T>
            static auto &access(T &x)
            {
                return x.code;
            }
        };
        using type = CTQL::table_column<table_type, int, field_code>;
    };
    struct value_column
    {
        struct field_value
        {
            struct name_string
            {
                static constexpr auto value() { return "value"; }
            };
            template <typename T>
            struct field
            {
                T value;
            };
            template <typename T>
            static auto &access(T &x)
            {
                return x.value;
            }
        };
        using type = CTQL::table_column<table_type, double, field_value>;
    };
    struct number_column
    {
        struct field_number
        {
            struct name_string
            {
                static constexpr auto value() { return "number"; }
            };
            template <typename T>
            struct field
            {
                T number;
            };
            template <typename T>
            static auto &access(T &x)
            {
                return x.number;
            }
        };
        using type = CTQL::table_column<table_type, int, field_number>;
    };

    struct name_string
    {
        static constexpr auto value() { return "foo"; }
    };

    using type = CTQL::make_table<name_string, id_column, code_column, value_column, number_column>;
};
foo_aux::type foo;

EP>>>>>Лямбды лаконичнее — да, реализация алгоритма — нет.
S>>>> Если ты про замыкания, то там строится класс компилятором.
EP>>>Я про синтаксис использования лямбд.
S>> По мне так все сообразно функциональным языкам. Автоматический вывод типа.
EP>И? Ты вообще не понимаешь о чём идёт речь? Я говорю что синтаксис лямбд лаконичней в C# — нет лишних скобок, return и auto.

http://rsdn.ru/forum/flame.comp/6453427.1

Автор: Ночной Смотрящий
Дата: 25.05.16

Нет, это у тебя проблемы со знанием предметной области. По моему опыту, в типичном ERP приложении примерно 90% запросов не содержат динамических ветвлений. Так что 1000 запросов это вообще ни о чем.

http://rsdn.ru/forum/flame.comp/6452046.1

Автор: Ночной Смотрящий
Дата: 24.05.16

_>>Приложение с 1000 разных статических запросов к СУБД? ) Это было бы любопытно взглянуть на подобного эпичного монстра... )))
НС>1000 запросов это эпичный монстр?

G>>Это api для более-менее типизированного построения примитивных запросов. Он не может никаким образом получить два разных запроса из одного и того же куска кода. Даже теоретически.
EP>Это ещё почему? Например у него есть коннектор в БД, и к обычным контейнерам — один и тот же запрос может выполнять совершенно разные веши

EP>>>>Тип в который в том числе закодировано дерево выражения. На C++ это реализуется с помощью техники Expression Templates, которой уже более двадцати лет.
G>>>Показывай минимально работающий пример, который обходит дерево и строит SQL.
EP>>Показывающий что конкретно? Проекции? Фильтры? Автоматические join'ы по связям?
G>Фильтры и проекции, с джоинами потом разберемся
EP>>Это всё ни одна сотня строк кода, реализовать которые мне не интересно.
G>Тогда какой смысл в том, что ты пишешь? На практике никто такое не сделал, значит невозможно. Иначе уже была бы реализован аналог linq на C++.

G>1) Так ты покажи макрос conditional или что там у тебя. А то так можно любой код написать и объявить его "статическим".
G>2) Как делать декомпозицию \ композицию таких запросов? В идеале так:http://blog.gandjustas.ru/2010/05/30/iqueryable-generics/

EP>>Так и в случае с compile-time EDSL такое возможно
I>Теоретически возможно, но пока ничего работающего ни ты, ни alex_public не показали.

SELECT foo.value, foo.id, foo.number FROM foo WHERE foo.id>42

EP>>Есть задача написать алгоритм, естественно нормальным способом, а не номинальным или абы-каким.

Лямбды лаконичнее — да, реализация алгоритма — нет.

EP>>А где я вообще сказал что я показываю как надо правильно работать с БД?

select * from students where lastName = 'Smith';
select * from students where lastName = 'Smith' and age = 21;

EP>>SELECT foo.value, foo.id, foo.number FROM foo WHERE foo.id>42 
EP>>

EP>Тут второй select добавляет колонку в проекцию, это конечно не совсем верно, но для демонстрации изменения проекции вполне подойдёт.

EP>>В linq2db также и вспомогательный код

EP>>Что такое анонимные типы в C# я знаю, даже реализовывал

Автор: Evgeny.Panasyuk
Дата: 12.10.14

аналог на C++.
AVK>И что, там можно давать полям новые имена и использовать сложные выражения? Потому что примитивные варианты в примерах по ссылке это интересно, но практически не особо полезно. А примеров посложнее там нет.

EP>>Переделать поведение на SELECT foo.number FROM ... не проблема

return query<Table, Condition, Columns..., RightColumns...>{};

return query<Table, Condition, RightColumns...>{};

SELECT foo.number FROM foo WHERE foo.id>42

public ITable<AlphabeticalListOfProduct>  AlphabeticalListOfProducts   { get { return this.GetTable<AlphabeticalListOfProduct>(); } }
public ITable<Category> Categories { get { return this.GetTable<Category>(); } }
...
[FreeTextTableExpression]
public ITable<FreeTextKey<TKey>> FreeTextTable<TTable,TKey>(string field, string text)
{
    return this.GetTable<FreeTextKey<TKey>>(
        this,
        ((MethodInfo)(MethodBase.GetCurrentMethod())).MakeGenericMethod(typeof(TTable), typeof(TKey)),
        field,
        text);
}

[FreeTextTableExpression]
public ITable<FreeTextKey<TKey>> FreeTextTable<TTable,TKey>(Expression<Func<TTable,string>> fieldSelector, string text)
{
    return this.GetTable<FreeTextKey<TKey>>(
        this,
        ((MethodInfo)(MethodBase.GetCurrentMethod())).MakeGenericMethod(typeof(TTable), typeof(TKey)),
        fieldSelector,
        text);
}
...

НС> Потому что там написано, что хоть у C# ситаксис лямбд и лаконичнее, но в целом С++ лучше.