箭头的发音

Arrows' pronunciation

我不是母语为英语的人,所以我想知道如何读出相关代码,例如:

我能理解功能,但只能描述意思,不能描述具体的箭头。我应该只说“列表中的一个”吗?我想有时候其他听众可能不太清楚。

这些箭头字符如何用英语与他人交流?

也许是map作为函数同义词的一般概念

a -> A                        map a to A
b -> B                        map a to B
(a -> A, b-> B)               map tuple (a -> B) to tuple (b -> B)
for (a <- list) yield a + 1   map a in list to a + 1
case _ => a                   map anything to a      

或短语“从_到_”

a -> A                        from a to A
b -> B                        from b to B
(a -> A, b-> B)               from tuple (a -> B) to tuple (b -> B)
for (a <- list) yield a + 1   from a in list to a + 1
case _ => a                   from anything to a 

或短语“if _ then _”

a -> A                        if a then A
b -> B                        if b then B
(a -> A, b-> B)               if tuple (a -> B) then tuple (b -> B)
for (a <- list) yield a + 1   if a in list then a + 1
case _ => a                   if anything then a

在函数概念和蕴涵概念之间有一个结果声称equivalence,因此我们可以将映射过程视为推理行为,所以“如果_那么_”可能就可以了。

作为旁注,请考虑

之间的区别
for (...) yield (...)   map every element
for (...) (...)         execute side-effect for each element