У меня небольшой теоретический и, скорее всего, глупый вопрос. Если вдруг что, смело гоните меня, насмехайтесь надо мной, и я пойду обратно в haskell start.
Так вот... Есть у меня экземпляр фримонады, пусть будет поверх какой-то простой структуры с конструкторами-операциями. Я хочу написать эдакий "оптимизатор" для экземпляра такой монады, который мог бы, пользуясь знаниями о семантике вот этих вот операций, поверх которых она построена, выполнять изменения, затрагивающие много узлов низлежащей структуры — например, сворачивать несколько операций в одну, или менять их относительный порядок, или анализировать взаимозависимости для того, чтобы отмаркировать какие-то узлы, как пригодные для параллелизации и т.д. и т.п.
Сложность в том, что я не до конца понимаю, как это должно выглядеть. Если бы это была чистая структура данных аля дерево, то тут все просто — я описываю предикаты для групп узлов, матчу узлы по этим предикатам, скармливаю выбранные узлы в функцию, которая порождает новые узлы, и заменяю поддеревье и итеративно продолжаю этот процесс до полного просветления, пока не перестанет что-то матчиться.
Но в случае с монадой то, что происходит внутри коллбэка бинда (кстати, у "коллбэка бинда" есть официальное название?..) для меня полностью непрозрачно. По сути, когда я выполняю монадическую функцию, возвращающую экземпляр этой моей специфицированной фримонады, я разворачиваю только "первый коллбэк бинда", а все остальные лишь ждут своей очереди, и я не имею видения всей структуры до того, как вычислю остальные коллбэки.
Окей, пусть я отказываюсь от идеи видеть "все дерево" целиком, и пишу некий "оптимизирующий интерпретатор", который на самом деле выполняет аргументы биндов, чтобы получить дальнейшие ветки, но я сталкиваюсь с тем, что аргументы биндов мало того, что нетотальны, я еще и не знаю наперед, если у них какие-то "особые точки". Т.е. для того, чтобы выполнить следующий коллбэк бинда, мне нужно передать ему фактическое "значение внутри контекста", а у меня-то его и нет. Что ж мне, табулировать все возможные значения? Звучит глупо и невозможно.
Я пытаюсь изобрести какую-то странную чухню, или у этой задачи есть решение?
