В продолжение темы концепций ЯП

Автор: Shmj
Дата: 30.09.23

.

Вот вы знакомы с концепцией деревьев выражений как в C#? По-моему это шедеврально, C# шел к этому несколько версий и довел все до логического завершения. Очень очень весьма круть.

Особенно круто когда в самом языке можно писать:

from c in db.Clients
where c.Rate < 5
select c.Id;

И понять как это работает, особенно создать свой провайдер — не так уж просто. Нужно уйму концепций знать.

В большинстве ЯП такого нет и не будет еще очень долго. Фишка в том что это все проверятся компилятором, а не просто как в SQL пиши что хочешь.

И вопрос такой.

В каких ЯП это есть еще на таком же уровне? Ну вот чтобы так писать не функциями а в виде как бы запроса с операторами (> < != = и т.д.), чтобы максимально наглядно и чтобы это все проверялось компилятором.