Examples of using Monadic in English and their translations into Vietnamese
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
feeding it to a normal function, it takes a monadic value(that is, a value with a context) and feeds it to a function that takes a normal value but returns a monadic value.
and later of monadic energy.
equals join(fmap f m) is very useful if we're making our own Monad instance for some type because it's often easier to figure out how we would flatten a nested monadic value than figuring out how to implement>>=.
have pursued their courses, energized by the Life of the Monad, as it pulsates through the medium of the monadic heart on the spiritual plane;
here to get the result from the function and then we apply f to that. f returns a monadic value, which is a function in our case,
Therefore, be apparent, that the“Law of Monadic Return” which we have just been considering, is the sumtotal of those influences which have a direct bearing upon the monadic atoms, which affect its progress cyclically, and which stimulate it, or retard its activity according to the strength of the initiating life.
have pursued their courses, energized by the Life of the Monad, as it pulsates through the medium of the monadic heart on the spiritual plane;
The result of this monadic value is a function.
We have one monadic value, m and two monadic functions f and g.
Mf is a monadic value whose result is a function.
If the monadic value on the left is a Nothing, the whole thing is Nothing.
value to a function, the result is always a monadic value.
The result of that was another monadic value which got bound into the next monadic function, and so on.
It's important to remember that do expressions are just different syntax for chaining monadic values.
A do expression always results in a monadic value and this one is no different.
The main difference between these two is that the values in the former example are monadic.
Well, to do that, it has to take into account the context of that monadic value.
But let's give that a go now by using monadic application(>>=) instead of normal application.
We will see how they can make our programs clearer by letting us treat all sorts of values as monadic ones.
It turns out that any nested monadic value can be flattened and that this is actually a property unique to monads.