How do you say`\ x - > y`？ [英] How do you say `\x -> y`?

问题描述

表达式 \x - > y 通常由Haskell程序员发音？

我问，因为我通常会说lambda eks dot why，因为它写成λx.y在一般情况下，我通过书和笔记介绍了lambda演算，没有听到任何人将术语翻译成语音。但在Haskell中，这是一个箭头，而不是点。

据我所知，计算机科学的人通常会在演讲中淡出点（lambda eks [short pause] y ）。 F＃和C＃程序员，网络告诉我，经常发音等价表达式 x => y 为eks去为什么。我不知道在其他情况下有多相似的结构。

所以在Haskellers中它是lambda eks arrow why，或者是什么？

解决方案

我通常发音为lambda x to y。这非常简短，并且与您在TeX中键入的方式相匹配： \ \\ xda \\ x 。 （作为一个可爱的笔记，我在我的编辑器中有一个TeX输入模式，所以我可以输入以上来获得λx→y 。：P）

也就是说，如果你说lambda x dot y，我相信每个人都会理解你 - 大多数人至少对这种表示法很熟悉，而且很容易猜测出什么你的意思是来自上下文。

然而，我从来没有听到有人说去。

How is the expression \x -> y typically pronounced by Haskell programmers?

I ask because I ordinarily say "lambda eks dot why," because it's written λx.y in a general context and I was introduced to the lambda calculus through books and notes, without hearing anyone translate the terms into speech. But it's an arrow, not a dot, in Haskell.

I understand that computer-science people often elide the dot in speech ("lambda eks [short pause] y"). F# and C# programmers, the web tells me, often pronounce the equivalent expression x => y as "eks goes to why." I don't know how similar constructions are said in other contexts.

So among Haskellers is it "lambda eks arrow why," or what?

解决方案

I usually pronounce it as "lambda x to y". This is very short and matches how you would type it in TeX: \lambda x \to y. (As a cute note, I have a TeX input mode in my editor, so I could type the above to get λ x → y. :P)

That said, I'm sure that everyone would understand you if you said "lambda x dot y"--most people are at least familiar with that notation and the it's very easy to guess what you mean from context.

I've never heard anybody say "goes to", however.

这篇关于How do you say`\ x - > y`？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！