• монады Haskell Необходимо сравнить две сущности одного типа. Признаков их различия (с использованием и без использования IO) довольно много и они перебираются по мере удорожания (сравнивать надо часто) в надежде поэкономить время. Получил лесенку из if'ов. Не понравилось. Додумался до того что это очень напоминает монаду Either где Left — это результат сравнения, а Right — данные для следующего сравнения. Но нужен IO, а значит нужен трансформер. Поискал уже готовый трансформер. Им само собой оказался ErrorT. Задумался…

Replies (7)