mike-neckのブログ

Java or Groovy or Swift or Golang

Scalaのimplicit parameterとHaskellのType class（雑)

scala haskell

Scalaのcatsというライブラリーのドキュメント読んでて、Haskellじゃんなんて思ってました。

Cats Documentation - Typeclasses

で、若干気になったことがありまして、Javaの立場でScalaのimplicit parameterを見ていて、なんか怪しげな感じのする関数だなーなどと思っていました(Java老害脳)。

ただ、Haskellを少し勉強していてから、Scalaのcatsライブラリーのドキュメントをみると、implicit parameterってtype classの要請のために実装する関数っぽいものじゃないのかなと思うようになりました(雑な理解)。

data Janken = Goo | Choki | Par

という型があったとして、これがEqのインスタンスであるためには

instance Eq Janken where
    Goo == Goo = True
    Choki == Choki = True
    Par == Par = True
    _ == _ = False

とEqで求められる関数を定義すれば型JankenはEqのインスタンスとなります。

一方、catsに書いてあったサンプルコード

implicit val stringShow = new Show[String] {
  def show(s: String) = s
}

を定義することでStringがShowのインスタンスとして扱うことができるようになります。

Haskellをほんのすこしかじった僕にはcatsのコードを見て、「あーimplicit parameter」ってType classっぽいヤツを宣言するときに使うんだと、何かが氷解するような感覚を覚えました。

Java脳の時はimplicit parameterは強引に関数の型に適合させるためのグルーコードっぽい印象を抱いていたので、なんか理解の仕方がすこし変わったなと思うところです。

眠いから終わりだし、雑なまとめ。Scala使いにも、Haskellerにも参考になりません。

ちなみに…

【2015/05/28 10:36 追記】

implicit conversionではなくて、implicit parameterというのが適切という指摘を頂いたので、修正しました。