VoidEx (voidex) wrote,
VoidEx
voidex

  • Music:

Klesli + List 2

В прошлой записи мне дали ценные подсказки. Во-первых, проблема в том, что sequence не удовлетворяет требованиям и потому монадический трансформер из списка так просто не получить. Во-вторых, был задан более общий вопрос: переносится ли эндофунктор над Set в эндофунктор над Клейсли-категорией.
Посоставляв диаграммы (которых я тут не приведу), я пришёл к выводу, что да, если коммутирует левая-верхняя диаграмма оттуда же (остальные мне не пригодились), что для списка наверняка не верно (хотя я не проверил).
Т.е. если можно получить монаду над ST, используя натуральное преобразование TS -> ST, то можно и эндофунктор T перенести на категорию Клейсли (с монадой S). Однако данные требования избыточны, так как мы не комбинируем монады, а переносим эндофунктор.
Есть для этого какое-то название и не налажал ли я, не знаю.

Tags: fp, haskell, теория категорий
Subscribe
  • Post a new comment

    Error

    default userpic
    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 2 comments