aabbという文字列を1122という文字列に変換したくて下記のコードを書いたところ x=='a'でエラーを吐かれました型がCharではないというエラーだったので[a]を[Char]にしたらエラーが消えました。 [a]は何でもよいという認識があったのですが、なぜ型が違うとエラーを吐かれたのでしょうか？教えてください ```haskell change_number::[a]->[Int] change_number []=[] change_number (x:xs) |x=='a' = 1:change_number xs |x=='b' = 2:change_number xs ``` ```haskell change_number::[Char]->[Int] change_number []=[] change_number (x:xs) |x=='a' = 1:change_number xs |x=='b' = 2:change_number xs ```

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

aabbという文字列を1122という文字列に変換したくて下記のコードを書いたところ
x=='a'でエラーを吐かれました
型がCharではないというエラーだったので[a]を[Char]にしたらエラーが消えました。
[a]は何でもよいという認識があったのですが、なぜ型が違うとエラーを吐かれたのでしょうか？
教えてください

haskell
1change_number::[a]->[Int]
2change_number []=[]
3change_number (x:xs)
4    |x=='a' = 1:change_number xs
5    |x=='b' = 2:change_number xs

haskell
1change_number::[Char]->[Int]
2change_number []=[]
3change_number (x:xs)
4    |x=='a' = 1:change_number xs
5    |x=='b' = 2:change_number xs

この質問の投稿者はすでに退会しているため、質問者からの返信がない点にご留意ください。

行動規範の内容に同意します

回答1件

Haskellにおいてシングルクォーテーションで囲んだ文字はCharです。
'a','b'と書いた時点で、==で比較するリストの要素はCharに限定されます

(==)の型は
Eq a => a -> a -> Bool
ですが、型変数aには等しいことが定義できる型であれば、質問者様がいうところの「何でもよい」型をとることができますが、引数同士は同じ型である必要があります。

投稿2021/07/06 06:35

TTsurutani

総合スコア30

この質問の投稿者はすでに退会しているため、質問者からの返信やベストアンサーの選定がない点にご留意ください。

あなたの回答

tips

プレビュー

行動規範の内容に同意します

質問の解決につながる回答をしましょう。サンプルコードなど、より具体的な説明があると質問者の理解の助けになります。また、読む側のことを考えた、分かりやすい文章を心がけましょう。

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう！

ただいまの回答率
85.25%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する