Наоборот. Надо почитать пейпер effects a la carte, и НЕ делать как там написано
Ну в пейпере предлагается автоматизировать это всё, чтобы получались тайплевельные списки из функторов. Гранин же настаивает на том, что автоматизация не нужна и всё портит, т. е. надо всё то же самое делать аккуратно вручную
ну тайплевелные списки это же типичная реализация фримонадных алгебраических эффектов?
Я не говорю, что плохо. Самоистязание может быть полезным
Ты говоришь а. "не делать так", б. про самоистязание
Не то чтобы типичная, это как бы само собой разумеется, потому что так удобнее. Но Гранин настаивает, что так не надо
Обсуждают сегодня