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