和を求める関数の最後の設計はすでにかなり簡潔です。しかし更に可能です。a と b がすべての関数でパラメータまたは引数として現れる一方で、興味深い組み合わせを成していないようです。それらを除去できるでしょうか。 sum を書き直し、境界 a と b をパラメータにしないようにしましょう。 def sum(f: Int => Int): (Int, Int) => Int = {
def sumF(a: Int, b: Int): Int =
if (a > b) 0 else f(a) + sumF(a + 1, b)
sumF
}
この設計では、sum は他の関数、すなわち特別な和を求める関数 sumF を返す関数です。後者の関数がすべての仕事をします。境界 a と b をパラメータとしてとり、sum 関数のパラメータ f をその間のすべての整数に適用し、結果を足し合わせます。 新設計の sum を使って、次のように定義できます。 def sumInts = sum(x => x) def sumSquares = sum(x => x * x) def sumPowersOfTwo = sum(powerOfTwo) Or, equivalently, with value definitions: あるいは同等に、値定義を使って val sumInts = sum(x => x) val sumSquares = sum(x => x * x) val sumPowersOfTwo = sum(powerOfTwo) sumInts, sumSquares, sumPowersOfTwo は、他の関数と同じように適用できます。たとえば scala> sumSquares(1, 10) + sumPowersOfTwo(10, 20) unnamed0: Int = 267632001 関数を返す関数はどのように適用されるのでしょうか？例として式 sum(x => x * x)(1, 10) , の関数 sum は２乗する関数 (x => x * x) に適用されます。そして結果の関数は二番目の引数リスト (1, 10) に適用されます。 関数適用が左結合のため、この記法が可能です。すなわち、もし args1 と args2 が引数リストなら、 f(args 1)(args2) は (f(args1))(args2) と等価です。 この例では sum(x => x * x)(1, 10) は、式 (sum(x => x * x))(1, 10) と等価です。 関数を返す関数のスタイルはたいへん有用なので、Scala にはそのための特別な構文があります。たとえば次の sum 定義は前のものと等価ですが短くなっています。 def sum(f: Int => Int)(a: Int, b: Int): Int = if (a > b) 0 else f(a) + sum(f)(a + 1, b) 一般に、カリー化された関数定義 def f (args1) ... (argsn) = E ただし n>1、は次のように展開されます。 def f (args1) ... (argsn−1) = { def g (argsn) = E ; g }
ただし g は未使用の識別子です。あるいはもっと短く無名関数を使って def f (args1) ... (argsn−1) = ( argsn) => E . このステップを n 回繰り返すと次を得ます。 def f (args1) ... (argsn) = E これは次と等価です。 def f = (args1) => ... => (argsn) => E . あるいは同様に値定義を用いて val f = (args) => ... => (args) => E . この関数定義と適用のスタイルは、創始者である20世紀の論理学者 Haskell B. Curry に因んで カリー化 と呼ばれています。しかしそのアイデアは Moses Schoenfinkel や Gottlob Frege にまで遡ります。 関数を返す関数の型は、パラメータリストに似た形で表されます。例として sum の最後の設計を見ると、sum の型は (Int => Int) => (Int, Int) => Int です。関数型は右結合なため、これが可能です。すなわち T1 => T2 => T3 は T1 => (T2 => T3) と等価 演習 5.2.1 関数 sum は線形再帰を使ってます。?? の部分を埋めて末尾再帰に書けますか？ def sum(f: Int => Double)(a: Int, b: Int): Double = {
def iter(a, result) = {
if (??) ??
else iter(??, ??)
}
iter(??, ??)
}
演習 5.2.2 与えられた範囲の点の、関数値の積を求める関数 product を書きなさい。 演習 5.2.3 factorial を product を用いて書きなさい。 演習 5.2.4 sum と product の両方を一般化する、より汎用的な関数を書けますか？ |
|
|