s
вот луна это хороший пример того что получится если делать без теоретического фундамента ага
Поясни.
Size: a a a
2021 February 24
s
По мне, так типичная диаграмма в моноидальной категории, только с интерактивными элементами.
AG
ну оно же очень ограниченное, ни рекурсии, ни эффектов
VS
Кстаати, у меня назревает такой вопрос (для собственного развития): есть ли какие-то работы по языкам или DSL для удобного описания преобразований графов?
Смысл: если мы имеем такой язык/DSL, то, вероятно, можно будет удобнее описывать применение оптимизаций к коду.
Смысл: если мы имеем такой язык/DSL, то, вероятно, можно будет удобнее описывать применение оптимизаций к коду.
AG
а формализм позволяет накрутить кучу всего - трассы, капы/кэпы, линзы, спаны и тд
Vk
Вот что у меня уже есть сейчас
Vk
Что есть в вершинах текст не обращайте внимания, это в целях дебага
AG
у нас например прототип позволял рисовать диаграммы для экономических игр, которые потом экстрагировались в решатель, считающий равновесие по нэшу
AG
как раз эксплуатируя линзы
AR
у нас например прототип позволял рисовать диаграммы для экономических игр, которые потом экстрагировались в решатель, считающий равновесие по нэшу
AR
это им сделано?
AG
не, это из википедии :)
AG
у конала эллиота есть штука на эту тему http://conal.net/papers/compiling-to-categories/
AG
но там без графики и только ДЗК
AG
зато проработано детальнее :)
AG
это возвращаясь к, собственно, компиляторам :)
AG
ага, у хейдона было до этого два прототипа на основе компактных категорий
AG
тут он обобщил
AG
мы с ним хотели сотрудничать но как-то не срослось