質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
86.02%
Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

Q&A

解決済

haskellで出力aをprintしたい

退会済みユーザー

退会済みユーザー

総合スコア0

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。

1回答

0グッド

0クリップ

832閲覧

投稿2021/07/23 06:37

入力された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できないというエラーだと解釈しているのですが、どのようにしたら実装出来ますか?

haskell

1test::[String]->a 2test (x:xs) 3 |x=="a"=1 4 |x=="b"="hogehoge" 5 6main = do 7 let hoge=test ["a"] 8 print(hoge)

以下のような質問にはグッドを送りましょう

  • 質問内容が明確
  • 自分も答えを知りたい
  • 質問者以外のユーザにも役立つ

グッドが多くついた質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

気になる質問をクリップする

クリップした質問は、後からいつでもマイページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

下記のような質問は推奨されていません。

  • 間違っている
  • 質問になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

適切な質問に修正を依頼しましょう。

回答1

1

ベストアンサー

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

haskell

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

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

haskell

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

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

haskell

1test :: String -> Item 2test "a" = IntItem 1 3test _ = StringItem "hogehoge" 4 5main = do 6 let hoge = test "a" 7 print hoge

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


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

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

haskell

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

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

haskell

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

投稿2021/07/23 08:26

編集2021/07/26 05:12
kakkun61

総合スコア285

A_kirisaki👍を押しています

良いと思った回答にはグッドを送りましょう。
グッドが多くついた回答ほどページの上位に表示されるので、他の人が素晴らしい回答を見つけやすくなります。

下記のような回答は推奨されていません。

  • 間違っている回答
  • 質問の回答になっていない投稿
  • スパムや攻撃的な表現を用いた投稿

このような回答には修正を依頼しましょう。

回答へのコメント

退会済みユーザー

退会済みユーザー

2021/07/23 08:27

ありがとうございます
退会済みユーザー

退会済みユーザー

2021/07/23 12:38

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

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

ただいまの回答率
86.02%

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

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

質問する

関連した質問

同じタグがついた質問を見る

Haskell

Haskellは高い機能性をもった関数型プログラミング言語で、他の手続き型プログラミング言語では難しいとされている関数でも容易に行うことができます。強い静的型付け、遅延評価などに対応しています。