Мне точно нужны будут запросы вида: достань все Foo, и вот у них есть поле "bar", в котором лежит айди другой энтити - подгрузи эту энтитю, и верни мне все Foo, в котором в "bar" вместо айди лежит целая энтитя. Но это не то же самое, что "верни мне все Foo и все Bar такие, что <условие>" . Оно по определению не запрашивает Bar, а запрашивает только Foo.

С другой стороны, если я напишу запрос "Верни мне все Foo и все Bar такие, что Foo.bar = some Bar", то оно должно вернуть то же самое, что и с запросом из предыдущего коммента. За исключением, разве что, таких Foo, у которых bar пустой. Первый запрос вернет их с пустым же bar, второй запрос не вернет их вообще. Да, это не то. Подгрузка должна идти отдельным клозом.

Может оно должно работать как вложенные циклы? То есть: сперва достаем все Foo и начинаем итерироваться по полученной коллекции. Для каждого Foo делаем подзапрос, и вытаскиваем все Bar (быть может, фильтруя их по указанному условию). Результат сохраняем, берем следующий Foo, повторяем. В итоге будет дерево результатов вида [["тут результат внутреннего цикла" ...] ...]. Для тривиальных запросов типа "Верни мне все Foo и все Bar такие, что Foo.bar = some Bar" оно вернет тривиальное же дерево с одноэлементными внутренними коллекциями. Плюс вместо подзапросов можно просто заранее вытащить все Bar, и во внутреннем цикле делать только фильтрацию. Это ожидаемо: для каждого запрошенного результата вытаскиваем всю коллекцию соответствующих энтитей.

@queet5ee Плюс это позволяет без лишней мороки доставать синглтоны в основном запросе. В противном случае пришлось бы писать отдельный запрос на синглтон + основной запрос на коллекцию результатов. Хотя стоп, даталог точно не так же работает? Там же можно зафиксировать порядок в результирующих таплах.

@goren Да, Капитан.

Короче, да, это мне нравится. Или нет. А если понадобятся or-запросы? Придется их отдельно обрабатывать. А так можно было бы просто запихнуть в один запрос два подзапроса, и он бы просто вернул и все Foo, и все Bar, вперемешку. Хотя нет, хуйня, они же должны быть забиндены на разные результаты. Так что or-запросы по-любому придется отрабатывать отдельно.

Ну что, пидоры, скажете что-нибудь?

>абстрактное описание несуществующей проблемы попробуйте: разобраться чё вы вообще хотите нахуй

@anonymous сабсет оф https://en.wikipedia.org/wiki/Datalog

@anonymous точнее сабсет оф https://github.com/mozilla/mentat https://github.com/tonsky/datascript

Те чо тут чат программистов штоль

Рассказываю: ты долбоеб.

@komar Нет ты. tfw /pr сосача полезнее\интереснее бнвача

@queet5ee В той хуйне, которой ты занимаешься, разобрались 40 лет назад.

карасик, не заёбывай своею хуйнею

@queet5ee я ету хуйню видел только один раз в жизни в папире который старше меня. не понимаю откуда ты вообще это вытащил.

@komar хуле у тебя там разобрались, пацаны до сих пор между монгой и эластиком не могут выбрать, хуле ты тут пиздишь.

@anonymous Ну это само собой.

@komar Ну и какое это имеет отношение к сабжу? Пидорахе лишь бы обосрать кого-нибудь.

@anonymous Я же ссылки дал после: #EY4P2N/YNP

ловите шизика!