関数を返す関数の再帰呼び出し

Question

構文に関するヘルプが必要です。

質問：この状況でメソッドを再帰的に呼び出すにはどうすればよいですか？

以下のコードでエラー見つけてください：ここでは

def increase[T: Numeric](x: T) = (y: T) => { 
    require(implicitly[Numeric[T]].gt(x , 0.asInstanceOf[T])) 
    if (implicitly[Numeric[T]].gt(y , 0.asInstanceOf[T])) 
     implicitly[Numeric[T]].plus(x, y) 
    else     
     increase[T](x)(implicitly[Numeric[T]].abs(y)) 
} 

val inc = increase[Int] _ 

println(inc(5)(-1)) 

はエラーコードです： C：ソース\> CDのスカラ

C：\ソース\スカーラ>スカラmain.scala C ：ソース\ \スカラ\ main.scala：29：エラー：再帰的方法増加ニーズがTYをもたらす PE increaseT（暗黙[数値[T] ABS（Y）） ^ つのエラーは

見出さ

c：¥Sources¥scala>

Answer 1

関数定義にはかなりの問題があります。コンテキストがdef increase[T](x: T)(implicit ev: Numeric[T])(y: T)のようなものとしての仕事、def increase[T: Numeric](x: T) = (y: T) => ???行為を境界とどのように

1. 。暗黙的な引数リストは普通のものの間にあるので、xとyの両方を次々と提供することはできません。したがって、increase(x)(abs(y))は機能しません。increase(x).apply(abs(y))のようなものを使用する必要があります。

2. 0.asInstanceOf[T]を使用しないでください。たとえば、TがBigIntの場合、これは0.asInstanceOf[BigInt]になり、実行時例外：java.lang.ClassCastException: java.lang.Integer cannot be cast to scala.math.BigIntが発生します。代わりにimplicitly[Numeric[T]].zeroを使用できます。

3. これらをすべてのところに置いておけば、あまり美しくはありません。この暗黙的な引数の名前を固定し、暗黙的な操作をインポートする方が良いので、x > num.zeroとx + yを使用することができます。以下の例を参照してください。

4. コメントで説明したように、再帰関数の戻り値の型を明示的に指定する必要があります。あなたの場合、それはT => Tでなければなりません。

   def increase[T](x: T)(y: T)(implicit num: Numeric[T]): T = { 
       import num._ 
   
       require(x > num.zero) 
       if (y > num.zero) x + y 
       else increase(x)(y.abs) 
   } 
   

   ：また

   def increase[T](x: T)(implicit num: Numeric[T]): T => T = (y: T) => { 
       import num._ 
   
       require(x > num.zero) 
       if (y > num.zero) x + y 
       else increase(x).apply(y.abs) 
   } 
   
   val inc = increase[Int] _ 
   
   println(inc(5)(-1)) 
   

   は、あなたが匿名関数を使用せずに同様の定義を持つことができます。

だから、すべてこれであなたは増加の方法については、次の定義を持つことができます

ちょうどその場合、再帰的にする必要はありません。

def increase[T](x: T)(y: T)(implicit num: Numeric[T]): T = { 
    import num._ 

    require(x > num.zero) 
    x + y.abs 
}