应用（和朋友）方法是否有人性化的名称？ [关闭]

Question

我最近一直在使用 applicative（和 Alternative），而让我感到沮丧的一件事是我对命名法缺乏了解。例如，我希望能够说function name 而不是star thing 代表<*>。所以，就像>>= 读作bind 一样，以下是否有更人性化的名称：

• <*> - 申请？
• <* & *> - 左右适用？
• <$> - fmap?
• <|>

同样来自箭头

• *** - 分裂？
• &&& - 扇出？

如果有这些名称，我的搜索还没有发现它们。我知道这些条款可能不被接受，但如果有的话，我很想知道它们。

Answer 1

符号来自 Doaitse Swierstra 和 Luc Duponcheel：他们已经为解析器组合器确定了这个接口，我们认为在有意义的地方尊重他们的选择很重要。我试图记住 Doaitse 是如何发音的，但还是画了一个空白。

我更喜欢他们被看到而不是被听到。事实上，我也不希望他们被看到，因此idiom brackets。但特别是在定义实例时，拥有名称会很有帮助。并不是说由我来命名它们：整个成语 vs 应用 vs 天知道-什么恶作剧是对权力的迷人研究。用我自己的话来说，物有所值

• <*> 是 'applied (to)' （界面是 'pure and applied'，就像数学一样）
• *> 被“忽略”
• <* 是“忽略”
• <$> 被“映射（结束）”
• <$ 可能是“之后”，但我并没有意识到将其称为任何东西

关键思想：效果总是按从左到右的顺序（无论这意味着什么）； $ 或 * 告诉你他们左边的内容是纯粹的还是惯用的；人字形告诉您生成的数据流，仅指向信号。

另一种发音方案，远离个别操作员，可能会翻译

f <$> a <*> b <* c <*> d

to 'IDIOM: f, a, b, NOISE c, d' 或类似的。不过那真的是读括号版

(|f a b (-c-) d|)

大声说出来。

我觉得“money”和“splat”很有趣，但我们最好优先考虑语义而不是语法。

Answer 2

嗯，<$> 是 fmap 的同义词。另外，“applicative”这个名字让我想到了应用事物。由于<*> 是执行此操作的主要运算符，我想我将它与“应用”一词松散地联系起来。上下文与普通函数应用程序略有不同，因此该词可能会有些混淆，但上下文通常会使其足够清晰，因此对我有用。 <*> 也是 Control.Monad 中 ap 函数的同义词，因此这证实了我使用“应用”一词。

Brent Yorgey 的 Typeclassopedia 是我学到最多的地方。这是一个出色的资源。

Answer 3

嗯，没有标准名称，但有时它们被称为：

• <*> 是“splat”
• <$> 是“钱”

这样：

 f <$> g <*> x

发音：

 f `money` g `splat` x

我相信这些术语是由 Trevor Elliott 和 Eric Mertens 提出的。