IT練習ノートスマートフォン用の表示で見るIT練習ノートIT関連で調べたこと(実際は嵌ったこと)を書いています。2018-02-13関数のコンテキストの型はユニークに解決されるHaskell言われてみれば当たり前なのですが、これに嵌りました。Num型を複数とる関数があって、Int型やDouble型などいろいろパラメータに与えたかったのですが、コンパイルエラーがとれませんでした。問題点をシンプルな例で示すと以下のようになります。Num型を複数とる関数を定義します。数値のリストを2つとり、それぞれの要素を掛け合わせて、合計を取ります。it14.0型が曖昧で、ワーニングが出ていますが、型を明示的に指定すれば、ワーニングはなくなります。[1,2::Double,3]14.0ここまでは良いのですが、2つのバラメータに別の数値型のリストを与えた時は、コンパイルエラーになります。ここに気づかず時間を取られていまいました。3]*Main>IntとIntegerでもコンパイルエラーになります。aの2つのパラメータは同じaとなっているので、同じ型でなければなりません。Nun型のインスタンスならなんでもいいわけではありません。月別アーカイブはてなブログをはじめよう!naotoogawaさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。