Talk:Monad (functional programming): Difference between revisions

Revision as of 15:18, 29 August 2022

Revision as of 18:59, 27 October 2022

Line 126:

I'm not up on the latest Wikipedia guidelines, so I'm not confident about what is allowed. I'm curious about what the current thinking is from anyone who knows more about this topic. [[User:Modify|modify]] 15:16, 29 August 2022 (UTC)

== Pseudo-code in the article ==

The meaning of [https://en.wikipedia.org/w/index.php?title=Monad_(functional_programming)&curid=579061&diff=1118556608&oldid=1118549561 the pseudo-code] needs to be clarified:

: (f >=> g) x = (f(x) → mb) >>= g(y = b)

:1: My personal reading is that this is an equation. The left hand side is <code>(f >=> g) x </code>

:2: The right hand side is

::'''Let''' functor <code>(f(x) → mb)</code> '''be''' the functor resulting from substituting mb for y in g;

The Kleisli compose operator <code>>=></code> means if some m >>= f then f is the continuation of m.<ref name= gg >[https://www.haskellforall.com/2012/12/the-continuation-monad.html? showComment=1424959716748#c3272667111873173855 Memetic Warrior (26 Feb 2015) reply to] [https://www.haskellforall.com/2012/12/the-continuation-monad.html? Gabriel Gonzalez, Haskell for All (30 Dec 2012) The Continuation Monad] </ref>

-- [[User:Ancheta Wis|Ancheta Wis]] [[User talk:Ancheta Wis| &nbsp; (talk]] [[Special:Contributions/Ancheta Wis| &#124; contribs)]] 18:59, 27 October 2022 (UTC)