タプル - knenet Haskell手記

タプルというのは、(a,a)のような型の組なんだ。
この組は１つの値として扱われるよ。

まあ、それだけなんだけど、結構柔軟だから、:tで試してみよう。

Prelude> :t (-1,0)
(-1,0) :: (Num a, Num b) => (a, b)

これは、a,bはそれぞれNumクラスに制約されたインスタンスであることを示しているね。
それぞれに制約が書いてあるから、別々でも良いんだろうね。

Prelude> :t ("mohikan", False)
("mohikan", False) :: ([Char], Bool)

[Char]とBoolの組になったね。今度は個数を変えてみよう。

Prelude> :t (True)
(True) :: Bool
Prelude> :t (True,True,True)
(True,True,True) :: (Bool, Bool, Bool)
Prelude> :t (False,2,9.0,10,"Aha",True)
(False,2,9.0,10,"Aha",True) :: (Num b, Fractional c, Num d) =>
                              (Bool, b, c, d, [Char], Bool)

１つだとただの型になっちゃうね。これはタプルじゃないよ。タプルに対してアトム（原子）と言えばいいかな。
３つは問題なし。６つでも大丈夫だね。タプルは２個以上ならいくつでもいいんだ。
でも、参照するときに項目数が指定されるから、特別なことがなければ個数を変えることは出来ないね。

タプルについてはひとまずこれでいいかな。
そうそう、似たようなものにリストがあるから、次はこれを見てみよう。。