TupleSections
一种语法扩展,允许以节的方式应用元组构造函数(它是一个运算符):
(a,b) == (,) a b
-- With TupleSections
(a,b) == (,) a b == (a,) b == (,b) a
N 元组
它也适用于 arity 大于 2 的元组
(,2,) 1 3 == (1,2,3)
制图
这在使用部分的其他地方很有用:
map (,"tag") [1,2,3] == [(1,"tag"), (2, "tag"), (3, "tag")]
没有此扩展名的上述示例如下所示:
map (\a -> (a, "tag")) [1,2,3]