Scalaのimplicit、カリー化

Scalaのimplicit、カリー化、複数の引数リストについて

 implicitとは「暗黙的な」という意味です。
 implicitはむやみに使うのは危険です。
 上手く使いこなせれば，とても美しいコードが書けるようになります。
現に，Scalaの標準ライブラリやPlayFrameworkではしばしばこの
implicitが使われています。

 暗黙の型変換(implicit conversions)
 既存の型を拡張する(implicit class)
 暗黙の引数(implicit parameter)

暗黙の型変換(IMPLICIT CONVERSIONS)
 コンパイル時に変換できる関数があるかを探して，勝手にやってくれ
ます。
object Main {
implicit def floatToInt(f: Float): Int = f.toInt
def logInt(i: Int) = println(i)
def test() = {
logInt(1)
logInt(0.2f)
}
}

既存の型を拡張する(IMPLICIT CLASS)
 あるオブジェクトメソッドが実装されていない場合，それを変換でき
るimplicit関数があれば，それで変換する。
object Main {
implicit class A(a: Int) {
def b = a * 10
}
}

暗黙の引数 (IMPLICIT PARAMETERS)
 implicitな引数に具体的な値を渡さなかった場合，コンパイラはimplicit
が付いている値・関数から型の合うものを探し，渡してくれる。
 Scala公式ではこの使い方を推奨している
object Main {
implicit val default = 10
def test(a: Short)(implicit b: Int, c: Int): Int = a + b * c
}

暗黙の引数でできないこと
 複数の引数リストをとる関数の最後尾の引数リスト以外に暗黙の引数
は適用できない。
 呼び出した関数で適用した暗黙の引数の型の implicit val 定義がスコー
プ内になければエラーになる。
 呼び出した関数で適用した暗黙の引数の型の implicit val 定義がスコー
プ内で2つ以上ある場合エラーになる。

カリー化
 複数の引数を取る関数を、1つの引数を取る関数のチェーンに変換する
ことらしい
 部分適用とは別物
複数の引数を取る関数
val add = {(x:Int, y:Int, z:Int) => x + y + z}
curriedメソッドでカリー化
val addCurried = add.curried

カリー化
 結果として
val addCurriedWithX = addCurried(1)
val addCurriedWithXY = addCurriedWithX(2)
addCurriedWithXY(3)
ちなみに
addCurried(1)(2)(3)
もできます

カリー化
 要するに
val addCurried
↓
def addCurried(x:Int)(y:Int)(z:Int) = x + y + z
Scalaではこっちのほうが一般的らしい

複数の引数リスト
 複数の引数リストとカリー化の違いが判りませんでした。。。

部分適用
 部分適用とは複数の引数を取る関数に対して、一部の引数に値を束縛
した関数を返すことらしい
def add(x: Int, y: Int, z: Int):Int = x + y + z
val addWithXY = add(_: Int, _: Int, z = 3)

まとめ
 implicitもカリー化も正しく使えれば便利そうだな
 Implicitを使う上でカリー化は必須

Scalaのimplicit、カリー化

More Related Content

What's hot (10)

Similar to Scalaのimplicit、カリー化 (20)

Scalaのimplicit、カリー化