ŹR
Кто - что думает?
Size: a a a
2020 May 28
ŹR
Еще вопрос - на сколько реально вывозить такие графы если есть циклы.
ŹR
Базовый пример - есть вершина int->str а есть вершина str->int ибо конструктор. И. надо. чтобы при резолвве он в такой цикл не зашел
ŹR
Получается нифига не dag, но по нему все еще можно найти кратчайший путь же
AB
Базовый пример - есть вершина int->str а есть вершина str->int ибо конструктор. И. надо. чтобы при резолвве он в такой цикл не зашел
Граф не предзадан, а собирается из множества возможных ребер?
ŹR
Да, в этом вся фишка
ŹR
Если задан - это какой-нибудь Spark и иже с ними тысячи их
AB
А тебе это для каких целей вообще?
ŹR
Если можно - докторскую писать буду
LL
Джва года ждал, суть такова:
Есть direct async graph вычислений, каждая вершина которого задана жестко типом.
Для пропихивания данных по такому графу мы задаем вход вместе с его типом и тип выхода.
И больше НИЧЕГО
Эта хитрая сука сама резолвит типы и выстраивает вычисления так, чтобы из входа получился выход.
Конец
Основной вопрос: насколько переиспользуемыми смогут быть такие вершины. Потому что если смогут сильно быть переиспользуемыми - мы в шоколаде: Делаем загатовки под типовые ETL операции, запихиваем это все во всякиеи side packages и собираем весь пайплайн (почти) из конструктора
Есть direct async graph вычислений, каждая вершина которого задана жестко типом.
Для пропихивания данных по такому графу мы задаем вход вместе с его типом и тип выхода.
И больше НИЧЕГО
Эта хитрая сука сама резолвит типы и выстраивает вычисления так, чтобы из входа получился выход.
Конец
Основной вопрос: насколько переиспользуемыми смогут быть такие вершины. Потому что если смогут сильно быть переиспользуемыми - мы в шоколаде: Делаем загатовки под типовые ETL операции, запихиваем это все во всякиеи side packages и собираем весь пайплайн (почти) из конструктора
miniKanrenLL
Джва года ждал, суть такова:
Есть direct async graph вычислений, каждая вершина которого задана жестко типом.
Для пропихивания данных по такому графу мы задаем вход вместе с его типом и тип выхода.
И больше НИЧЕГО
Эта хитрая сука сама резолвит типы и выстраивает вычисления так, чтобы из входа получился выход.
Конец
Основной вопрос: насколько переиспользуемыми смогут быть такие вершины. Потому что если смогут сильно быть переиспользуемыми - мы в шоколаде: Делаем загатовки под типовые ETL операции, запихиваем это все во всякиеи side packages и собираем весь пайплайн (почти) из конструктора
Есть direct async graph вычислений, каждая вершина которого задана жестко типом.
Для пропихивания данных по такому графу мы задаем вход вместе с его типом и тип выхода.
И больше НИЧЕГО
Эта хитрая сука сама резолвит типы и выстраивает вычисления так, чтобы из входа получился выход.
Конец
Основной вопрос: насколько переиспользуемыми смогут быть такие вершины. Потому что если смогут сильно быть переиспользуемыми - мы в шоколаде: Делаем загатовки под типовые ETL операции, запихиваем это все во всякиеи side packages и собираем весь пайплайн (почти) из конструктора
Что значит
async граф?PG
и правда
PG
dag это же directed acyclic graph
ŹR
Это автоисправлене так работает, ккриво написал круг на английском
ŹR
dag это dag
LL
Это автоисправлене так работает, ккриво написал круг на английском
Так а что ты хочешь? Типа подбирать программу под типы?
ŹR
Так а что ты хочешь? Типа подбирать программу под типы?
Да, в этом смысл
ŹR
Но еще с выводом типов
LL
Да, в этом смысл
тогда советую прочитать как работают
*Kanren. Вроде где-то даже была реализация на elixirLL
Но еще с выводом типов
Что это значит?