b
очень четко сказал молодец
Size: a a a
2020 September 03
M
Так можно долго смутно понимать, пусть напишет RFC, потом и обсудим а так... ничего никто до конца не поймет да и все
b
если я эксперт по графам, то я не эксперт по виртуальным машинам
M
Я эксперт
b
поэтому я уже сказал, я собираюсь пригласить человека сделать такую спецификацию
M
Но пока ниче не понятно чё ты хочешь
b
смотри
b
ты можешь сделать запрос условно говоря
b
user.friends[].friends[]
b
чтобы получить всех друзей друзей юзера
b
этот запрос декларативно можно расписать как вложенный цикл
M
Императивно
b
ой да, императивно
b
декларативно мы в Gremlin (язык запросов для графов) это делаем очень легко
b
V().To(“friends_with”).To(“friends_with”)
b
как-то так
b
user.friends[].friends[]
но говорим мы о данных пропозиционально, поэтому об этом выражении мы хотим говорить (скорее всего) либо
(а) императивно
(б) функционально
(а) императивно
(б) функционально
b
если компилятор С++ может “развернуть” вложенный цикл на уровне компиляторной оптимизации
M
Может
b
или как компилятор хаскеля оптимизирует map–fold, map–reduce