То, что сейчас возвращает

Лэйзи енумербл

То, что сейчас возвращает

Селект - эт монадический мап. Поэтому тип результата определяется контекстом использования

Сейчас селект возвращает M<T>

А ни хера не ленивый итератор

Что в шпрахе, что в реактивках, что в линке для тасок

А для верующих в святого енумерабла в аду отдельный котел есть

Другое дело что средствами шарпа это не опишешь вот и лезет утиная типизадция с компиляторной магией

а другие что используют вместо linq?

а другие что используют вместо linq?

Смотря где. В хаскеле: functor + foldable + traversable или сразу линзы

а другие что используют вместо linq?

Всякое говно вроде стрим апи в яве, поездатые CE в фарше, до-нотацию и монадки в хаскеле

Ну и функции для конкретных коллекций

Т.к. все общие функции сохраняют тип, в отличие от линка

Линк в этом не виноват это все ява проклятая

так, хаскель пока оставим в стороне, c# с ним нет никакого смыслы сравнивать. В жаве оно лучше сделано?

В яве оно хуже сделано. В скале кое-что сделано лучше, кое-что вместо все, потому что JVM мешает

Смотря где. В хаскеле: functor + foldable + traversable или сразу линзы

Чёт, кажется, это не решает проблемы?

Ну то есть это только вместо Linq2Objects

Ну то есть это только вместо Linq2Objects

Да, само собой

Ну то есть это только вместо Linq2Objects

Это вместо Linq2ЧтоУгодно

Это вместо Linq2ЧтоУгодно

Ну давай, сделай мне linq2sql на этом

Забыли описать, как будем делать экспрешены

Ну зачем ты сразу ниже пояса-то?

Ну я именно об этом и спрашивал

Если вы тут обсуждали только linq2objects — тогда лан, извиняюсь.

Тут любители выпила типов жидко лажают :)

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

А дотнетик в белоснежном костюме

Тут любители выпила типов жидко лажают :)

На помощь приходит фри монада

А linq2sql грустно сделан.

Ну то есть в яве скорее смешно, у остальных скорее грустно.

Там некоторые чувачки берут и парсят байткод :)

Ну то есть в яве скорее смешно, у остальных скорее грустно.

Кто на яве писал тот в цирке не смеется

Там некоторые чувачки берут и парсят байткод :)

Хм, а чо так можно было?

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

Звучит как компиляторно зависимая дичь

Хм, а чо так можно было?

Так ява без ломбока - деньги на ветер

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

Ну толсто же :)

Так ява без ломбока - деньги на ветер

Эт я уже понял. Мне тут выкатили недавно апищечку на яве. Сверху донизу аннотации

Эт я уже понял. Мне тут выкатили недавно апищечку на яве. Сверху донизу аннотации

А программировать на xml-конфигах надо?

Попросил выкатить на скале

А программировать на xml-конфигах надо?

Отож. То был ещё и спринг

Отож. То был ещё и спринг

За спринг надо сразу бить морду, я полагаю

За спринг надо сразу бить морду, я полагаю

Ну для той цели в общем не важно, надо было быстро быстро сделать. потому исполнитель выбрал то, что знает

Но переписать время есть когда дырку закрыли

А потом еще рах переписать :)

А потом еще рах переписать :)

Надо ж людей чем-то занять

Ну то есть в яве скорее смешно, у остальных скорее грустно.

а как в яве сделано? название хоть скажи, я сам дальше в гугле найду

а как в яве сделано? название хоть скажи, я сам дальше в гугле найду

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

ну и ладно

линк говно, но и другого никто не предложил (хаскель не считается)

линк говно, но и другого никто не предложил (хаскель не считается)

Дак и для хаскеля не предложили.

Вернее, предложили, но не полный аналог. Такого добра везде хватает.

Шоб я прям на хостовом языке мог написать выражение, и оно скомпилилось в SQL — такого нету.

Собственно, даже в F# с этим проблема, что пришлось свои экспрешены изобретать

линк говно, но и другого никто не предложил (хаскель не считается)

Линк не говно. Но линку очень нужны HKT

Шоб я прям на хостовом языке мог написать выражение, и оно скомпилилось в SQL — такого нету.

Опять же в теории, фри монада решает эту проблему

Опять же в теории, фри монада решает эту проблему

Я не вижу, как она решает эту проблему.

let x = 2 + 2 Вот что мне фримонада с этим кодом сделает?

Я не вижу, как она решает эту проблему.

Ты пишешь что угодно, оно интерпретируется в сиквель

Ну как?

let x = 2 + 2 Вот что мне фримонада с этим кодом сделает?

Надо let! x = 2+2

Надо let! x = 2+2

В хаскеле такое разве есть?

Линк не говно. Но линку очень нужны HKT

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

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

А если без этого денег не платить?

В хаскеле такое разве есть?

Реализации я не видел, говорю ж, в теории. Фри монада позволяет интерпретировать твои выражения как угодно

Реализации я не видел, говорю ж, в теории. Фри монада позволяет интерпретировать твои выражения как угодно

Нет

На фримонаде там будет что-то типа num(2) `plus` num(2)

А если без этого денег не платить?

Деньги платит бизнес, ему до хкт пофигу

В лучшем случае

Ну то есть это обычный DSL с интерпретатором

Не то чтобы это плохо — нет

Но это не то же самое, что в linq2sql.

На фримонаде там будет что-то типа num(2) `plus` num(2)

Именно. Можно транспильнуть в сиквель, а можно посчитать и выполнить.

Но всё-таки ты будешь оперировать не совсем над хостовыми типами

Деньги платит бизнес, ему до хкт пофигу

Верно, но я с HKT лучше дам результат чем макаки без оного

У тебя просто будет DSL. DSL для запросов мы на любых языках видим много

На самом деле я просто хочу квотейшены :)

Наверняка в хаскеле есть какой-нибудь хитрый флаг компилятора, чтобы были квотейшены?

На самом деле я просто хочу квотейшены :)

Вот ты себя и выдал!