Здравствуйте, Ночной Смотрящий, Вы писали:

V>>Граф Expression<T> прекрасно можно построить и ручками.
НС>Ручками — можно,

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


НС>а чтобы компилятор за тебя собрал — нельзя.

Раньше было нельзя, до Roslyn.
Сейчас можно.


V>>Сия агрессивная упёртость
НС>Ну ты и чудак на букву М. Пытаешься с тобой общаться как с человеком, а ты как подзаборная пьянь отвечаешь. Адьос.

Чьяб корова мычала со своим хамством:

V>>С т.з. языка это "пользовательские типы данных".
НС>Ты сейчас глупость написал.

Я помню, на какой специальности ты учился, значит определения знаешь.
Моё утверждение — это даже не утверждение, а напоминание определений из самой базы ЯВУ.

Да и не в этом дело — я тебе показал как работать со своим произвольным MyExpresison, т.е. порождать своё AST из лямбд через Roslyn, что множит твою агрессивную упёртость на ноль.