Scalaで型クラスを使おう！ - Qiita

はじめに 某記事で、 implicitsなんて呼ばないで、各機能ごとに適切な名称で呼ぼう。あと、重要なのは型クラスだからそれだけ注意すればOK、という趣旨のことを書きましたが、どうやって使えばいいかは投げっぱなしだったのでその導入編だけでも書こうかと思います。この記事での目的は簡単で、 Scalaのコレクションのsumメソッド（とproductメソッド）を自作の有理数クラスに適用できるようにしよう ということになります。実際のところ、sumメソッドを整数リストに対して呼び出す、たとえば でも、型クラスを「使って」はいるのですが、実際に型クラスに新しいインスタンスを追加していないので、使った実感がわかないと思います。そこで、有理数クラスです。実装が比較的簡単である上に、四則演算への対応が容易という点でこれを選ぶことにしました。 まずは、有理数クラス（Rational）の実装です。ここは、本題

[yoyama]

“トをRationalのコンパニオンオブジェクトの直下に”

[den8]

“実は、ScalaのNumericは反面教師にすべき型クラス設計で、一つの型に色々な演算を詰め込みすぎています。” だよなあ。scalazで紹介されている型クラスとか実装するメソッドはほとんど1,2個だし。

[roshi]

昨日の記事の補足きてた。他の応用例も見てみたいけど凄い実装なんだろうなー。

[j5ik2o]

"型クラスを使ったことある人いますか？"ではなく、"コレクションのsumメソッドを使ったことある人いますか？"と質問の仕方を変えてた麻植さんを思い出した。この記事と併せて再利用させていただきます。

[mooonymann]

“コンパイラはList[Numeric[Rational]]をsumするためにNumeric[Rational]のオブジェクトが欲しいわけですが、このとき、型パラメータの部分、つまり、Rationalのコンパニオンオブジェクトは必ず探索対象になります。”