Q&A
どのようなエラーメッセージが出たのですか？
haskell
1sample::[a]->a 2sample []=""
引数に連結リストを与えてリストの中身を文字で返す関数を作りたいと考えました。
再帰呼び出しを使用するため１文目に止めるための場合分けを書きましたがエラーを吐かれます。
おそらく型が合わないからだと予想しているのですが、何と書けば空白を返すことができますか？
test.hs:22:11: error:
? Couldn't match expected type ‘a’ with actual type ‘String’
‘a’ is a rigid type variable bound by
the type signature for:
sample :: forall a. [a] -> a
at test.hs:21:1-14
? In the expression: ""
In an equation for ‘sample’: sample [] = ""
? Relevant bindings include
sample :: [a] -> a (bound at test.hs:22:1)
というエラーがでました
回答1件
0
https://teratail.com/questions/347864 の回答でも述べたとおり、「a」という型変数は「どのような型の値でも受け取る」という意味ではなく「何か分からないけど特定の一つの型を受け取る」という意味になるので、文字列のような、特定の型を返すことができなくなります。
「リストの中身を文字で返す関数」を書く場合、例えば整数のリストを変換する、と想定してsample :: [Int] -> String という型の関数にするか、
あるいは、「何の型かは分からないけど、show関数を使って文字列に変換することができる、とある型の値のリスト」を文字列に変換する、と仮定して
sample :: Show a => [a] -> String
などと書くことができます。
投稿2021/07/11 04:43
総合スコア433
あなたの回答
tips
プレビュー
