スカラ再帰

Question

どのようにして、以下の関数を通常の再帰とテール再帰で書くことができますか？

Answer 1

ここには基本的な再帰バージョンがあります。

def satisfiesAllIt(x: List[Any], test: Any => Boolean): Boolean = 
    if (x.isEmpty) true 
    else if(test(x.head)) satisfiesAllIt(x.tail, test) && true 
    else false 

ここでは尾部再帰バージョンがあります。

def satisfiesAllIt(x: List[Any], test: Any => Boolean): Boolean = 
    if (x.isEmpty) true 
    else if(test(x.head)) satisfiesAllIt(x.tail, test) 
    else false 

これは、標準ライブラリを学習した後の作業です。

def satisfiesAllIt(x: List[_], test: Any => Boolean): Boolean = x.forall(test) 

---

@The典型ポールは（彼はしばしばように）良い点を作り、代替手段を提供してきました。

// basic recursive 
def satisfiesAllA(x: List[Any], test: Any => Boolean): Boolean = 
    x.isEmpty || satisfiesAllA(x.tail, test) && test(x.head) 

// tail recursive 
def satisfiesAllB(x: List[Any], test: Any => Boolean): Boolean = 
    x.isEmpty || test(x.head) && satisfiesAllB(x.tail, test) 

は、我々はすべて実際にそれを指摘せずに、周りに踊っているのか、基本と尾再帰間の定義の違いは次のとおりです。再帰呼び出しが戻る（計算/評価後に行われる任意のより多くの「仕事」があるかどう/ etc。） ではなく、テール再帰的です。

Answer 2

satisfiesAllItの末尾再帰バージョンです。リストが終了するまで関数を再帰的に呼び出し、テストが失敗した場合はfalseを返します。

def satisfiesAllIt(x: List[Any], test: Any => Boolean): Boolean = xs match { 
    case Nil => true 
    case x :: xs => 
    if (test(x)) satisfiesAllIt(xs, test) else false 
}