表达式\x -> y通常由Haskell程序员发音？
我问,因为我通常说"lambda eks dot为什么",因为它是?x.y在一般背景下写的,我通过书籍和笔记介绍了lambda演算,没有听到任何人将这些术语翻译成语音.但是在Haskell中它是一个箭头,而不是一个点.
据我所知,计算机科学界的人常常忽视语音中的点("lambda eks [short pause] y").网络告诉我,F#和C#程序员经常发出相同的表达方式x => y,称"eks为什么会这样".我不知道在其他情况下如何表达相似的结构.
在Haskellers中,它是"lambda eks arrow为什么",或者是什么？
Tik*_*vis 11
我通常将其称为"lambda x to y".这非常简短,与您在TeX中输入的方式相匹配:\lambda x \to y.(作为一个可爱的注释,我的编辑器中有一个TeX输入模式,所以我可以输入上面的内容来获得? x ? y.:P)
也就是说,我确信如果你说"lambda x dot y",每个人都会理解你 - 大多数人至少都熟悉这种符号,并且很容易从上下文中猜出你的意思.
但是,我从来没有听过有人说"去".
| 归档时间： |
|
| 查看次数： |
509 次 |
| 最近记录： |