技術のメモ箱

タプルの定義

複数の違う型の要素を格納して、１つの値として扱うことができる。

(1, 3)
(1, 'a', "ABC")

サイズ２のタプルと、サイズ３のタプルは違う型として扱われる。
また、同じサイズのタプルでも、要素の型が異なれば区別される。

Prelude> :t +d (1, 3)
(1, 3) :: (Integer, Integer)
Prelude> :t +d (1, 'a', "ABC")
(1, 'a', "ABC") :: (Integer, Char, [Char])

空のタプル()も型であり、1つの値()のみを持つ。()はユニットと呼ばれる。

タプルの便利関数

ペア用

Prelude> fst (8, 11)
8

Prelude> snd (8, 11)
11

Prelude> zip [1,2,3] ["one","two","three"]
[(1,"one"),(2,"two"),(3,"three")]