haskellで文字を数字に変換したい

Question

aabbという文字列を[1,1,2,2]という列に変換したいと考えて下記のコードを書きました。
しかし|x=="a" = [1,change_number xs]で型が違うとエラーを吐かれました。
a型にしているのでどのような型でも入れることが出来ると考えているのですが、なぜ動かないのか教えてください

change_number::[a]->[a]
change_number []=[]
change_number (x:xs)
    |x=="a" = [1,change_number xs]
    |x=="b" = [2,change_number xs]

test.hs:19:18: error:
    ? Couldn't match expected type ‘a’ with actual type ‘[a]’
      ‘a’ is a rigid type variable bound by
        the type signature for:
          change_number :: forall a. [a] -> [a]
        at test.hs:16:1-23
    ? In the expression: change_number xs
      In the expression: [1, change_number xs]
      In an equation for ‘change_number’:
          change_number (x : xs)
            | x == "a" = [1, change_number xs]
            | x == "b" = [2, change_number xs]
    ? Relevant bindings include
        xs :: [a] (bound at test.hs:18:18)
        x :: a (bound at test.hs:18:16)
        change_number :: [a] -> [a] (bound at test.hs:17:1)

Answer 1

a型にしているのでどのような型でも入れることが出来ると考えているのですが、なぜ動かないのか教えてください

実際には「a」というか型変数は「どのような型の値でも受け取る」という意味ではありません。「何か分からないけど特定の一つの型を受け取る」という意味になります。

なので、 x=="a" のように文字列と比較したり、 [1, change_number xs] といった具合に文字列や数値を使うことを前提とした処理は書けません。

例えばx=="a"に関して詳細を言えばHaskellの==は必ず同じ型同士の値で比較することが決まっているため、a型の変数であるxは**「文字列かどうかも分からない」**ので"a"と比較することはできません。

今回のように文字列を数値に変換する場合は change_number :: String -> [Int] といった、特定の文字列型や数値型を使って型を決める必要があります。

Comments

[退会済みユーザー]

ありがとうございます