セカイノカタチスマートフォン用の表示で見るセカイノカタチ世界のカタチを探求するブログ。関数型言語に興味があり、HaskellやScalaを勉強中。parameterを使ってHaskellの型クラス的なものを実装する方法は理解できた。parameterの対応について2しかし、最後にハットリクンのトホホ落ちよろしく、コンパイルエラーが出て解説を終了してしまったダメな私。|今回は、その辺のところをスッキリさせたい。Functorの中で何が起きたのか?問題解決には、原因究明が基本。ソースコードの全体は前回の記事を見てほしい。ここでは抜粋のみ貼る。F[B]まず、implicitと言うか、型パラメータの解釈を、見てみたい。呼ぶ側は、Functor.fmapをSome(1)で呼んでいる。Some[Int]が渡される。^^^^^^^^^すると、なしくずし的にfmapの型が推論される。