LL
И причём тут граф я ещё не совсем понял...
Size: a a a
2020 May 28
ŹR
Если нода хавает инпут A | B, то значит предыдущий узел в пути может быть. тот, кто вывводит A или тот кто выводит B
ŹR
Ну а если A+B, то надо ждать результат двух нод сразу
ŹR
Как-то так
ŹR
Хз , нужно подумать как сформулировать
LL
А если тип-произведение?
LL
Не, если я правильно всё понял, то идея звучит круто
LL
Но боюсь что я вообще нихуя не понял :\
ŹR
Блин, я не очень в теоркате
ŹR
Если бы да, я бы не спрашивал такто
ŹR
Походу то что я написал A+B это и есть тип-произведение
PG
это теория типов
PG
A+B это A | B в терминах диалайзера, тип-сумма
PG
A*B это {A, B}, тип-произведение
ŹR
Кароче если на вход тупл (картинка, текст), то он не ищет ноду которая выдает такой тупл, а ищет ноду с выходом картинки и отдельно с выходом текста, потом ждет пока они посчитают и оба результата засовывают в виде тупла
ŹR
Но может быть есть и нода которая выдает такой тупл. И что тогда делать я не знаю ((
ŹR
Как-то формализовать надо чтоли
ŹR
Может говорить что “graph is unresolvable”
ŹR
Или еще что-то
AA
Знакомый развлекался чем-то похожим (только применительно к распределённой системе микросервисов, но разница, кажется, не принципиальна).