Revision as of 21:36, 2 October 2019 (view source) Hout (talk \| contribs) (→‎Monad Description: How does that formulation apply to List and Function, for example ?) ← Older edit		Revision as of 21:40, 2 October 2019 (view source) Hout (talk \| contribs) (→‎Monad Description) Newer edit →
Line 21: Hi, the task might be improved with a description of the Monad on the page (or a link to a relevant description like that of the main category page)? --[[User:Paddy3118\|Paddy3118]] ([[User talk:Paddy3118\|talk]]) 09:08, 29 September 2019 (UTC) :I've added a draft description of Monad. --[[User:Rdm\|Rdm]] ([[User talk:Rdm\|talk]]) 19:01, 2 October 2019 (UTC) ::How do you understand the application of that formulation to, for example, the '''list''' monad (for which the bind operator is the composition of map and concat), or to the function ~~monad~~or IO monads ? It may be that I haven't yet understood your reference in the phrases 'encapsulates several other types' and 'eliminates boiler-plate code'. [[User:Hout\|Hout]] ([[User talk:Hout\|talk]]) 21:35, 2 October 2019 (UTC)

Talk:Monads/Maybe monad: Difference between revisions

Talk:Monads/Maybe monad (view source)