Вам надоели монады? Вы устали от зигохистоморфизмов? Препроморфность набила оскомину и кажеться банальщиной? Встречайте — профункторы!
http://blog.sigfpe.com/2011/07/profuncto...
так это же и есть стрелки Хьюза, не?
понятия не имею
Гленна Хьюза? гыгы
он пишет, что это их обобщение, но я не вижу, чем lmap и rmap отличаются от first и second из Control.Arrow
я не читал ничего кроме заголовка
я тоже
http://blog.sigfpe.com/2011/07/profuncto...
так это же и есть стрелки Хьюза, не?
понятия не имею
Гленна Хьюза? гыгы
он пишет, что это их обобщение, но я не вижу, чем lmap и rmap отличаются от first и second из Control.Arrow
я не читал ничего кроме заголовка
я тоже