Tuple Tips

Haskell Note

Tuple を作る関数がある
同名のFunctor型構成子もある模様

(,) :: a -> b -> (a, b)
(,,) :: a -> b -> c -> (a, b, c)

このような形の関数ではあるが演算子ではないみたいで、OCamlのようにかっこを省略した書き方はできないし
基本的に記号だからなのか中置記法もつかえない
正体は謎である

x = 1,2
y = 1 `(,)` 2

さらに -XTupleSections を使うと演算子みたいにこんな風にも書ける

("",) :: t -> ([Char], t)
(,"") :: t -> (t, [Char])
(,(,)) :: t -> (t, a -> b -> (a, b))