Какие свойства профинансоров не попадают в Haskell/PureScript?
В своей работе по профилометрической оптике Пикеринг и др. утверждать, что
Термин "профинант" исходит из теории категорий, хотя значительная часть категориальной структуры теряется в переводе.
Это кажется странным и уникальным для меня, поскольку другие алгебраические структуры, о которых я знаю (пары, моноиды, функторы, категории и т.д.), "Не кажутся", страдают той же судьбой, в таких языках, как Haskell и PureScript, с кавычками, потому что Я счастлив, что оказался ошибочным.
Некоторое время назад я немного поработал с семьей профунклоров и нашел их очень сносно, особенно в контексте оптики. Мои интересы снова собрались, увидев их в контексте монадных трансформаторов. Мне нужно переустановить это пару раз, так как я не получаю подробностей, но на принципе это совершенно ясно. Поэтому я не могу не задаться вопросом:
- каковы эти свойства? почему они не материализуются в языке?
- какие усилия необходимо будет предпринять, если это вообще возможно?
- Какая польза от этого? В частности, могут ли они помочь решить вопросы, которые Эд упоминает в конце своего разговора?