?

Log in

No account? Create an account
Читая обсуждение http://ivan-gandhi.livejournal.com/3329246.html и… - Cyril Pertsev
September 13th, 2015
02:21 pm

[Link]

Previous Entry Share Next Entry

(91 comments | Leave a comment)

Comments
 
[User Picture]
From:lionet
Date:September 14th, 2015 08:08 am (UTC)
(Link)
Maybe — это простой тип. А монадой он становится только тогда, когда для него описывают монадическое поведение (через instance Monad Maybe ...). Которое может быть разным, но для Maybe не так много их можно придумать _полезных_. Поэтому иногда и говорят, что Maybe-это монада. Хотя на самом деле правильнее говорить, что для Maybe определена монада.

Проблема в том, что в хаскеле только одну монаду можно определить для типа. Вернее, монад сколько хочешь можно определить, но только одна будет первоклассной — подержанной синтаксическим сахаром, всеми подпорками из Control.Monad, и так далее.
My Website Powered by LiveJournal.com