В
прошлой записи мне дали ценные подсказки. Во-первых, проблема в том, что sequence не удовлетворяет
требованиям и потому монадический трансформер из списка так просто не получить. Во-вторых, был задан более общий вопрос: переносится ли эндофунктор над Set в эндофунктор над Клейсли-категорией.
Посоставляв диаграммы (которых я тут не приведу), я
(
Read more... )
Comments 2
А будет ли T функтором в клейсли над S, вопрос хороший, но ведь лучше если автор сам проверит, а не читатели будут заморачиваться? :)
Reply
> А будет ли T функтором в клейсли над S, вопрос хороший, но ведь лучше если автор сам проверит, а не читатели будут заморачиваться? :)
Так вы знали, но молчали? :)
Reply
Leave a comment