你把monad里面的数据称为什么？

Question

在演讲和写作中，我一直想要参考monad中的数据，但我不知道该怎么称呼它。

例如，在Scala中，传递给flatMap的函数的参数被绑定到......呃...... monad中的那个东西。 在：

List(1, 2, 3).flatMap(x => List(x, x))

x绑定到那个我没有一句话的东西。

稍微复杂一点，传递给Kleisli箭头的参数不一定会绑定到monad中的所有数据。 使用List ， Set ， Stream和许多其他monad， flatMap多次调用Kleisli箭头， x将x绑定到monad中的不同数据块。 或者甚至不是“数据”，只要遵循monad法则。 无论它是什么，它都包裹在monad中，而flatMap在没有包装器的情况下将它传递给你，也许一次只有一件。 我只是想知道x指的是什么叫做mon-the-monad的东西，至少在某种程度上，所以我可以停止所有这些愚蠢的语言。

这个东西/数据/价值/东西/无论它是什么标准或传统术语？

如果没有，“糖果”怎么样？

Answer 1

试图说“ x被绑定”会让你失败。 让我解释一下，并指导你在谈论这些事情时更好地表达自己。

假设我们有：

someList.flatMap(x => some_expression)

如果我们知道someList具有类型List[Int] ，那么我们可以有把握地说， 在some_expression内部， x被绑定到Int类型的值。 注意警告，“some_expression内部”。 这是因为，给定someList = List(1,2,3) x将在它们各自的值： 1 ， 2 ，和3 ，反过来。

考虑一个更通用的例子：

someMonadicValue.flatMap(x => some_expression)

如果我们对someMonadicValue ，那么我们对如何调用some_expression 。 它可以运行一次，或三次（如上例所示），或者懒洋洋地，或者异步运行，或者可以安排一次someMonadicValue完成（例如，期货），或者它可能永远不会被使用（例如空列表，无）。 Monad接口不包括关于何时或如何使用someExpression推理。 因此，所有你能说什么x将被限制的情况下some_expression ， 无论何时 然而 some_expression情况进行评估。

回到这个例子。

someMonadicValue.flatMap(x => some_expression)

你试图说“ x是someMonadicValue的???”。 而你正在寻找准确替换???的词。 好吧，我在这里告诉你，你做错了。 如果你想谈论x ，那么要么这样做

1. 在some_expression的上下文中。 在这种情况下，使用我在上面给出的粗体短语：“在some_expression内部， x绑定到Foo类型的值。” 或者，或者，您可以谈论x ...
2. 了解您正在处理哪个monad。

例如，对于someList.flatMap(x => some_expression) ，例如＃2，你可以说“ x是someList每个元素”。 对于someFuture.flatMap(x => some_expression) ，你可以说“ x是someFuture未来的成功价值，如果它确实完成并成功的话。”

你看，这就是Monads的美丽。 那??? 你试图描述的是Monad接口抽象的东西 。 现在你明白为什么这么难给？ 一个名字？ 这是因为它对每个特定的monad都有不同的名称和不同的含义。 这就是拥有Monad抽象的要点 ：在同一计算界面下统一这些不同的概念。

Answer 2

免责声明：我绝对不是函数式编程术语的专家，我希望从您的角度来看，以下内容不能解答您的问题。 对我而言，问题在于：如果选择一个术语需要专业知识，那么理解也是如此。

选择合适的术语在很大程度上取决于：

• 你理想的语言正确程度，以及
• 您的受众，以及某些术语的相应内涵。

关于语言的正确性，问题在于您是否正确地想要引用绑定到x的值/数据，或者您是否可以使用某个（不正确的）抽象。 就观众而言，我主要区分具有强大功能编程背景的观众和来自其他编程范例的观众。 在前者的情况下，选择该术语可能并不完全是至关重要的，因为概念本身是熟悉的，并且许多术语将导致正确的关联。 评论中的讨论已经包含了一些针对此案例的非常好的建议。 但是，讨论还表明，在函数式编程中需要一定的背景才能看到一些术语背后的基本原理。

对于没有函数式编程背景的观众，我宁愿牺牲语言的正确性来支持可理解性。 在这种情况下，我经常将它称为“底层类型”，只是为了避免任何混淆，我可能会通过尝试引用“monad中的东西”本身来创建。 显然，说“ x绑定到底层类型”是完全错误的。 但是，对我而言，我的观众完全理解一个概念更为重要。 由于大多数程序员都熟悉容器及其底层类型，我的目标是（有缺陷的）关联“底层类型”=>“容器中的东西”=>“内部的东西” monad“，这通常似乎有用。

TL; DR：在正确性和可访问性之间总是存在权衡。 当涉及到函数式编程时，有时将偏移转向后者是有帮助的。

Answer 3

flatMap不会多次调用Kleisli箭头。 而“那件事”并不是“内部”的单子。

flatMap将Kleisli箭头抬向monad。 你可以看到这是一个箭头M[A] => M[B]的构造 ，在类型（ A ， B ）被提升到monad（ M[A] ， M[B] ）之间，给定一个Kleisli箭头A => M[B] 。

所以x在x => f(x)是被提升的值。

Answer 4

什么数据？

data Monady a = Monady

monad的值是monad的值，它们的包裹类型可能完全是虚构的。 也就是说，谈论它就好像它存在可能会让你痛苦。

您想要谈论的是像Monad m => a -> mb这样的延续，因为它们保证存在。 有趣的东西发生在how (>>=) 使用那些延续。

Answer 5

'项目'看起来不错？ '项目参数'，如果您需要更具体。

源数据可以包含多个项目，或者操作可以多次调用它。 对于第一种情况， 元素往往更具体，对于源代码， 值是单数的，对列表用法不敏感，但是Item正确地涵盖了所有情况。

免责声明：我对可理解的英语比FP更了解。

Answer 6

退后一步。

monad不仅仅是包含值a的函子m 。 monad是endofunctor的堆栈（即m的组合），以及join运算符。 这就是着名的quip - monad是endofunctor类别中的monoid，问题是什么？ - 来自。

（整个故事是，讽刺意味着m的构成是另一个m ，如join ）

类型(ma)东西通常称为monad动作。 你可以调用a动作的结果 。