katona https://blog.hatena.ne.jp/katona/ MEMO:はてな支店 https://katona.hatenadiary.org/ Haskell haskellの型でハマった事例その3 main = print []これを実行すると以下のようなエラーになる。 Ambiguous type variable `a' in the constraint: `Show a' arising from use of `print' at a.hs:1:7-11 Probable fix: add a type signature that fixes these type variable(s)[]は[a]型の値だが、中身の値が一つもないので型変数aの型が推論出来ないのが気に入らないようだ。 なので、以下のように具体的な型を決めてやると文句を言… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkatona.hatenadiary.org%2Fentry%2F20071214%2Fp2" title="空リストのエラー - MEMO:はてな支店" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2007-12-14 00:00:01 rich https://katona.hatenadiary.org/entry/20071214/p2 1.0 100%