Я, вероятно, облажался, учитывая, что я набрал все это с манжеты и переименовал альфа примерно на полпути, чтобы было легче увидеть переписанные тексты.
зные вопросы я нашел подсказки в комментариях относительно использования(->)
пример монад, например для реализации бессмысленного стиля.
Что касается меня, это слишком абстрактно. Хорошо, я видел экземпляры Arrow на(->)
и мне кажется, что(->)
может использоваться в нотациях экземпляров, но не в объявлениях типов (это само по себе было бы проблемой для другого вопроса).
Есть ли примеры использования(->)
как пример монады? Или хорошая ссылка?
Извините, если этот вопрос уже обсуждался здесь, но вы ищете"(->)
Монадный экземпляр " дает вам много хитов, как вы можете себе представить ... так как почти каждый вопрос о Haskell где-то включает в себя(->)
или "Монада".