Haskellをラクガク

■ 基本的な値 - タプル 01:27

複数の値を纏めて扱うタプル。タプルいいよな。でもタプルが組み込まれている言語ってPythonくらいしか知らないけど。

ということで、同値性チェック。

a = (3::Int,"hoge")
b = (3, "hoge")
c = (3::Integer, "hoge")

main = do   print $ a == b
            print $ b == c
            print $ c == a

TeqT.hs:6:25:
    Couldn't match `Int' against `Integer'
      Expected type: (Int, [Char])
      Inferred type: (Integer, [Char])
    In the second argument of `(==)', namely `c'
    In the second argument of `($)', namely `b == c'

あれ？「b == c」でダメか。「c == a」でダメって怒られると予想したんだけど…。タプルに数値リテラルを適用すると、Intになっちゃうってことかな。それとも、先に「a == b」の評価をしたが故にfst bがIntと思われちゃったのかな。

ということで、「a == b」と「b == c」の実行順序を入れ替えてみる。

a = (3::Int,"hoge")
b = (3, "hoge")
c = (3::Integer, "hoge")

main = do   print $ b == c
            print $ a == b
            print $ c == a

TeqT.hs:6:25:
    Couldn't match `Int' against `Integer'
      Expected type: (Int, [Char])
      Inferred type: (Integer, [Char])
    In the second argument of `(==)', namely `b'
    In the second argument of `($)', namely `a == b'

やっぱり「a == b」で型が違うと怒られる。だから、bの型はIntegerなんだろう。数値リテラルみたいに文脈で型が決まるものは、そうは言えども一度決まっちゃったらずっとその型として扱われるのか。面白いー。