Scala 2.10 からの型クラス2（Functorはどうする？）

前回の記事にコメントをいただいて、Functor とか Monad なんかの高階型はどうするのか改めて考えてみました。 結論から言うと Scala は関数リテラルで型パラメータとれないので、関数リテラルだけでなんとかしようというのは不可能っぽいです（いまんところの私の頭では）。 しかし、implicity 使ったり context-bound を使わなくてもなんとかなりそうです。ここまで来ると型クラスじゃねーだろっ。と言われるかもしれませんがアドホック多相にはなってると思います。 ということで、Functor をやってみます。Haskell だとこんな感じですね。

[itoasuka]

前回に追加してもう少し考えました。思いつきの域を出ていません。