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]