AG
хоаровы тройки можно умять в симметричные МК с трассами
Size: a a a
2020 April 01
AG
ну и тд
PS
ну и тд
А это как назвать? https://faust.grame.fr/doc/manual/#diagram-expressions
AG
А это как назвать? https://faust.grame.fr/doc/manual/#diagram-expressions
parallel и sequential - любая моноидальная категория, recursion - трассы или в общем случае замкнутость, split и merge - похоже на алгебры Фробениуса, но надо вникать
AG
по диаграммам обработки сигналов много работ у группы Соботинского
PS
parallel и sequential - любая моноидальная категория, recursion - трассы или в общем случае замкнутость, split и merge - похоже на алгебры Фробениуса, но надо вникать
Спасибо. Но согласитесь, имеет право и другой взгляд — с точки зрения предметной области. И с этой точки зрения это самые обыкновенные сигнальные диаграммы из учебника по DSP :)
AG
одно другому не мешает
AG
просто подводится алгебраический базис, он позволяет переиспользовать уже известные математические инструменты
AG
Спасибо. Но согласитесь, имеет право и другой взгляд — с точки зрения предметной области. И с этой точки зрения это самые обыкновенные сигнальные диаграммы из учебника по DSP :)
AG
там красота например в том, что сменой базы (R на N) и добавлением пары генераторов можно переиспользовать ту же самую теорию чтобы получить структуры равномощные сетям Петри
AG
т.е. моноидальные категории (а точнее говоря PROPы) это общая теория диаграмм
AG
конал элиотт сейчас делает что-то похожее со своим compiling to categories, но у него более строгие категории (декартовы)
AG
т.е. оно меньше где применимо
PS
т.е. моноидальные категории (а точнее говоря PROPы) это общая теория диаграмм
Это любопытно, но мне удивительно, что хотя предмет рассмотрения один, но разные группы исследователей смотрят на него каждый со своей колокольни, никак не пересекаясь.
С точки зрения практика-компиляторщика важно понять, как можно сигнальные диаграммы эффективно компилировать. И на этот счет есть классические уже работы Эдварда Ли по SDF и подходы из синхронного программирования.
С точки зрения практика-компиляторщика важно понять, как можно сигнальные диаграммы эффективно компилировать. И на этот счет есть классические уже работы Эдварда Ли по SDF и подходы из синхронного программирования.
МБ
Это любопытно, но мне удивительно, что хотя предмет рассмотрения один, но разные группы исследователей смотрят на него каждый со своей колокольни, никак не пересекаясь.
С точки зрения практика-компиляторщика важно понять, как можно сигнальные диаграммы эффективно компилировать. И на этот счет есть классические уже работы Эдварда Ли по SDF и подходы из синхронного программирования.
С точки зрения практика-компиляторщика важно понять, как можно сигнальные диаграммы эффективно компилировать. И на этот счет есть классические уже работы Эдварда Ли по SDF и подходы из синхронного программирования.
Ещё важно, как их можно кодировать, в каких терминах описывать, чтобы потом было удобно.
МБ
там красота например в том, что сменой базы (R на N) и добавлением пары генераторов можно переиспользовать ту же самую теорию чтобы получить структуры равномощные сетям Петри
Это, вроде, результат 90-какого-то года. Странно, что на структуры событий не ссылаются.
AG
не, это прошлогодний результат
МБ
По выводам похож на то, что Винскел (так кажется) делал.
МБ
Это любопытно, но мне удивительно, что хотя предмет рассмотрения один, но разные группы исследователей смотрят на него каждый со своей колокольни, никак не пересекаясь.
С точки зрения практика-компиляторщика важно понять, как можно сигнальные диаграммы эффективно компилировать. И на этот счет есть классические уже работы Эдварда Ли по SDF и подходы из синхронного программирования.
С точки зрения практика-компиляторщика важно понять, как можно сигнальные диаграммы эффективно компилировать. И на этот счет есть классические уже работы Эдварда Ли по SDF и подходы из синхронного программирования.
Но, в принципе, я согласен, что преждевременное абстрагирование несёт те же беды, что преждевременная оптимизация. Но о возможных структурах знать, всё равно, полезно.