b
причем тут это к графовым вычислениям
Size: a a a
2020 September 03
Z
почему?
Потому что это сложно. Вирт машина должна быть максимально простой и проверяемой.
Z
Да и кому это надо.
b
Потому что это сложно. Вирт машина должна быть максимально простой и проверяемой.
ты совсем не понимаешь особенность I/O?
b
это база. в базу ходить относительно дорого
b
все эти оптимизации необходимы чтобы не пердеть себе под нос
NL
причем тут это к графовым вычислениям
Ну значит не знаешь. STG это как раз вычисление в графе, который задаётся неявно из программы, в общем случае он (граф) может быть даже циклический.
DS
это база. в базу ходить относительно дорого
Если речь про автобатчинг подобных вызовов, то вам в haxl и т.п.
b
Если речь про автобатчинг подобных вызовов, то вам в haxl и т.п.
не только автобатчинг, а еще и переписывание логики
b
я же говорил что некоторые вложенные циклы можно переписать тупо как 1 морфизм
DS
я же говорил что некоторые вложенные циклы можно переписать тупо как 1 морфизм
Вообще звучит похоже на то, что interaction nets умеют
DS
Но у них свои проблемы есть
DS
Можешь глянуть на formality и их interaction nets движок, там достаточно неплохо некоторые вещи как раз подобным образом переписывались.
b
Если речь про автобатчинг подобных вызовов, то вам в haxl и т.п.
мне кажется Haxl это потняки
b
я бы вообще делал эту виртуалку на го, я боюсь пацаны не поймут
b
не осилят го, скорее
DS
мне кажется Haxl это потняки
Это конкретно про автобатчинг всяких IO запросов и т.п.
DS
Ничего больше там и нет
b
Это конкретно про автобатчинг всяких IO запросов и т.п.
ну можно спиздить у них алгоритмы и т.д.
b
но тянуть хаскель ради этой вафли...