MONAD in English translation

• monad
• monads

Examples of using Monad in Chinese and their translations into English

我们需要去理解它，我们需要去理解什么时候适合使用monad，什么时候适合使用arrow。
We need to understand it, we need to understand when it's appropriate to use a monad, when it's appropriate to use an arrow.

但这里的重点是给你一个大方向并且帮助你真正理解monad是什么以及如何工作的。
But the point here is to give you the big picture and help you really understand what monads are and how they work.

此时此刻，应该不难发现IO就是一个monad，Haskell中的一切都是monad.
It should be no surprise at this point to discover that IO is a monad, everything in Haskell is a monad.

它是一个解析器组合器(Combinator)--这里面有一些很有意思的玩意儿，类似于Monad。
It is a parser combinator- there are fun things in there like monads.

这一需求推动了PowerShell的创建（这源于JeffreySnover的“Monad宣言”）。
This need fueled the creation of PowerShell(which originated from Jeffrey Snover's“The Monad Manifesto“).

出于同样的原因，Flow的类型系统是一个相对简单的Hindley-Milner，没有Monad或类型类。
For the same reason, the type system of flow is a relatively simple Hindley-Milner without monads or type classes.

Kotlin出于同样的目的也提供了OptionIF<T>的Monad。
Kotlin also offers an OptionIF<T> monad with the same purpose.

我们先前提到的list、Maybe和Writer类型也是monad类型。
The list, Maybe, and Writer types that we covered earlier are also monad types.

这里的术语相关值和artifact并不适用于所有的monad，但是它可以帮助我解释monad究竟是什么。
This pertinent/artifact terminology won't work nicely with each and every monad, but it helps me explain what monads are all about.

什么是monad？”是一个我多次被问及的问题。
What is a monad?" is a question I have been asked many times.

对于初学者来说，monad类型有一个或几个相关值与它相联系。
For starters, a monad type has a pertinent value or many pertinent values associated with it.

真正要很好地处理到底monad的真正抽象意义何在，我觉得是一个挑战。
Getting a good handle on really what the abstract notion of a monad is, I think is a challenge.

Monad是一个函子：M:C->C，并且对C中的每一个对象x以下两个态射：.
A monad is a functor M: C→ C{\displaystyle M: C\to C}, along with two morphisms[2] for every object X in C.

顺便一提,如果你听说过Haskell中满足交换律的monad,它们的概念实际上差不多是一致的,只是这里的对象是Monad罢了.
By the way, if you hear about commutative monads in Haskell, the concept involved is the same, only specialised to Monad.

容器的隐喻是有用的，因为一旦一个值与一个monad相联系，我们喜欢把这个值附加到monad上，并会防止相关值跑到monad容器之外。
The container metaphor is useful because, once a value is associated with a monad, we like to keep that value attached to the monad.

微软在2002年就已经着手开发一种新的命令行管理方法，其中就包括称为Monad（也被称为MicrosoftShell或MSH）的CLI。
By 2002 Microsoft had started to develop a new approach to command line management, including a CLI called Monad(also known as Microsoft Shell or MSH).

用了monad的bind函数后，状态值会从一个monad传递给下一个，而且始终在monad中（而非明确地在代码中被处理）.
With a monad's bind function, a stateful value gets passed from one monad to another, always staying inside of monad(instead of being handled explicitly).

那么究竟什么是Monad？?
So what is Monad?

在本小节中，我们来看看Maybemonad。
So let's look at the Maybe monad instead.

当然，我们可以为Writermonad创建一个bind函数。
Of course, we can create a bind function for the Writer monad.