haskellで出力aをprintしたい

Question

入力されたStringに対してIntやStringなど型が違う出力をしたいと考えて[String]->aとなる下記のような関数を作成しました。しかし
Ambiguous type variable ‘a0’ arising from a use of ‘print’
prevents the constraint ‘(Show a0)’ from being solved.
Probable fix: use a type annotation to specify what ‘a0’ should be.
というエラーを吐かれました。->aをIntやStringなどに指定しなければprintできないというエラーだと解釈しているのですが、どのようにしたら実装出来ますか？

test::[String]->a
test (x:xs)
  |x=="a"=1
  |x=="b"="hogehoge"

main = do
      let hoge=test ["a"]
      print(hoge)

Answer 1

[String] -> a という型は、その関数のどの部分が実行されても「単一の a という型」の返り値になる必要があります。
つまり下記のコードの (1) の部分と (2) の部分が同じ型であることを要求します。
下記の場合は Num a => a と String という別々の型になるので型検査でエラーになります。

test (x:xs)
  | x == "a" = 1          -- (1) Num b. a ≡ b（具体的には a ≡ Int など）であることを期待している
  | x == "b" = "hogehoge" -- (2) a ≡ String であることを期待している

このような場合は新たにデータ型を定義するのが定石です。

data Item
  = IntItem Int
  | StringItem String
  deriving (Show, Read, Eq, Ord)

これを使用すると下記のように書けます（Wandbox で実行）。

test :: String -> Item
test "a" = IntItem 1
test _ = StringItem "hogehoge"

main = do
  let hoge = test "a"
  print hoge

rank-N types を使用する方法もありますが発展的な内容なので省略します。

---

出力のIntItem、StringItemといった文字を消すことは出来ますでしょうか？

自前の文字列化関数を用意します。

toString :: Item -> String
toString (IntItem n) = show n
toString (StringItem s) = s

これを使用すると次のように書けます。

main = do
  putStrLn $ toString $ IntItem 1
  putStrLn $ toString $ StringItem "a"

Comments

[退会済みユーザー]

ありがとうございます

[退会済みユーザー]

出力のIntItem、StringItemといった文字を消すことは出来ますでしょうか？