глядя на последние труды, там еще куча оптики)

Вроде, это всё известно. Но, всё равно, спасибо.

так я и сказал что связь известная

функциональная стрелка = частный случай профунктора
профунктор = обобщение функциональной стрелки

Скорее уж просто произвольных отношений. Функция, как частный случай таких отношений. Но чё-то это реально далеко от компиляторов.

Или есть какие-то техники оптимизаций с профункторами?

ну по сути профунктор дает тебе возможность применять preprocess/postprocess

оптимизаций не знаю, а вот например двухсторонний парсер-принтер можно изобразить

это призмой можно, хотя призма - профунктор

кстати лемму Йонеды можно применить не только для фьюзинга fmap но и dimap

Да, стрелки ближе, но не совсем то. Оригинальная работа по стрелкам хороша тем, что приводит конкретный пример парсера на комбинаторах, который не работает с монадами.

Вообще, стрелки не так уж далеки от компиляторов. Комбинаторный язык Faust, на который я люблю ссылаться, имеет алгебру блочных диаграмм, похожую на формализм стрелок. Но диаграммы в Faust значительно более выразительные и практичные. И с их помощью действительно можно проводить интересные оптимизации. Это видно по компилятору Faust.

покажи эту работу

стрелки заменимы строгими профункторами

Вроде бы Faust — не какой-то эзотерический язык. Он вполне используется профессионалами в области звука. И гуглится легко! :)

грубиян

А! Я, кажется, неправильно понял. Речь шла об "оригинальной работе" по стрелкам и парсерам?

да

Вот:
Generalising Monads to Arrows
http://www.cse.chalmers.se/~rjmh/Papers/arrows.pdf

единственный день в году, когда можно написать про свой ЯП и не огрести минусов : )

в общем случае будет какая то моноидальная категория с доп наворотами

стрелки например это категория профункторов с силой, как выше указывали