Replies (7)

  • @ndtimofeev, monad-unify просто протаскивает контекст, что там не понятно? Это если кметтовский.
  • @ndtimofeev, То же самое.
  • @ndtimofeev, Зачем тебе это все понимать? Дейкстра и юнифи это просто специализированные стейты. Фри это техника по получению монады из функтора.
  • @rkit, Каждя вторая монада это такой специализированный стейт. А так в основном исключительно для удовольствия и расширения кругозора. LogicT я например неоднократно переизобретал пока не понял как это выглядит и где его брать.
  • @ndtimofeev, LogicT это список. Список знать надо, а специфические фишки лоджика ты явно не переизобретал.
  • @rkit, ifte!