http://ropas.snu.ac.kr/~bruno/papers/TypeClasses.pdf
Type Classes as Objects and Implicits Bruno C. d. S. Oliveira ROSAEC Center, Seoul National University bruno@ropas.snu.ac.kr Adriaan Moors Martin Odersky EPFL {adriaan.moors, martin.odersky}@epfl.ch Abstract Type classes were originally developed in Haskell as a dis- ciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to impor- tant challenges
多相な関数の定義から学ぶ、型クラスデザインパターン
201607.md #多相な関数の定義から学ぶ、型クラスデザインパターン twitter: @OE_uia github: taisukeoe ##多相な関数 複数の異なる型に対して適用可能な関数 どの型に対して定義されているか、静的に決定できる(定義されてない型の値を渡すとコンパイルエラーになる) Int => Int String => String Double => String Seq[Int] => Seq[Int] ##多相な関数のメリット 複数の異なる型に対する操作を一般化したまま変換,合成などを行える DSLの構築 Heterogeneousなコレクションを簡便に操作できる #一番単純な出発点としての、メソッドの引数オーバーロード def overlap(i:Int):Int = i*i def overlap(s:String):String = s.foldLeft(
Scalaで型クラス入門 - still deeper
型クラスについてつらつら考えていたことをまとめておきます。マサカリ歓迎。 型クラスって？ 型クラスとは一言でいうと。 アドホック多相 を実現するもの です。モから始まる名状し難いあれとは直接は関係ありません。 ではアドホック多相とは何かというと 異なる型の間で共通したインターフェースでの異なる振る舞いを 定義済みの型に対して拡張する ような多相のことです。 異なる型間での共通したインターフェースでの異なる振る舞い Javaの継承やインターフェース、Scalaのtraitを用いることで、異なる型間での共通したインターフェースを管理することができます。 trait SomeTrait { def someMethod(): String } class Foo extends SomeTrait { def someMethod(): String = "foo" } class Bar ex
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
bitbucketの使い方
