Scala Implicits: 型クラス、襲来 · eed3si9n

2010-11-03 Debasish Ghosh さん (@debasishg) の “Scala Implicits : Type Classes Here I Come” を翻訳しました． 元記事はこちら: http://debasishg.blogspot.com/2010/06/scala-implicits-type-classes-here-i.html (翻訳の公開は本人より許諾済みです) 翻訳の間違い等があれば遠慮なくご指摘ください． 先日 Twitter 上で Daniel と Scala での型クラスについて論議していると，突然このトピックに関する書きかけだった記事を発見した．これを読んでもあなたは特に目新しい事を発見するわけではないが，型クラスに基づいた思考はあなたの設計の幅に価値を与えることができると思う．この記事を書き始めたのはしばらく前に設計の直交性についての

[wozaki]

“関心の的は元の抽象体である Address から，それをラップする Adapter クラスの AddressLabelMaker に移動してしまった．これは Address オブジェクトのアイデンティティ喪失2(identity crisis)を引き起こす．”

[uehaj]

"多くの人が型クラスを Java や他の言語における interface と同義だと誤解している．interface ではサブクラスによる多態性に焦点がおかれるのに対し，型クラスではパラメトリックな多相性に焦点が移る．全く関係の無い型が

[j5ik2o]

Haskellにもimplicit相当の機能がある