Comment le travail de && dans un scala foldleft

Question

Donc, je lis la « Programmation fonctionnelle à Scala » et je fais l'exercice 2.2

Mettre en œuvre IsSorted, qui vérifie si un tableau [A] est triée selon une fonction de comparaison suivant: def IsSorted [a] (comme: Array [a], commandé: (a, a) => Boolean): Boolean = {

Ma solution, qui fonctionne

{ 
    def orderByValue(a : Int, b : Int): Boolean ={ 
    println (a + " " + b) 
    if(a<= b) true 
    else false 
    } 

    //exercise, def to check wheter an Array[a] is sorted 
    def isSorted[A] (as: Array[A], ordered: (A,A) => Boolean) : Boolean = { 
    var result = true; 
    def loop(n: Int) { 
     if (result == false) 
     false //Return false on first instance 
     else if (n < as.length -1) { 
     result = ordered(as(n), as(n + 1)) 
     loop(n + 1) 
     } 
     else 
     result 
    } 
    loop(0) 
    result 
    } 
} 

Était assez fier de mon premier départ, mais pensé il ne semble pas très fonctionnel, donc je demande à un ami et il est revenu avec

{ 
    def isSorted2[A] (as: Array[A], ordered: (A,A) => Boolean) : Boolean = { 
    as.sliding(2,1).foldLeft(true)((res, a) => ordered(a(0), a(1)) && res) 
    } 
} 

Comme wtf, comment cette magie noire possible. Je comprends tout de as.sliding (2,1) .foldLeft (vrai) ((res, a) => commandé (un (0), un (1)), mais le & & respart, je ne peux pas voir à trouver toute la documentation à ce sujet. Je sais qu'il plie le résultat de l'opération précédente, mais comment ça marche, quelle est cette opération appelée.

Answer 1

def isSorted2[A] (as: Array[A], ordered: (A,A) => Boolean) : Boolean = { 
    as.sliding(2,1).foldLeft(true)((res, a) => ordered(a(0), a(1)) && res) 
    } 

&& est un opérateur logique normale ici. la signature de la fonction commandée est (A,A) => Boolean ce qui signifie qu'il faut deux paramètres de type A et true un booléen indiquant si l'argument 1 est supérieur ou inférieur à argument 2. res est accumulateur pour la fonction foldLeft qui est définie sur false même si l'un des éléments n'est pas dans l'ordre de tri approprié. est assuré par le deuxième paramètre au curry 012 La logique simple ici est que, si les éléments adjacents dans la liste sont triés et que tous les éléments précédents de la liste sont également triés, la liste est triée jusqu'à la position actuelle. donc si nous déplaçons cette position actuelle à la fin de la liste et si la liste est encore triée alors la liste entière est triée. Mais même si un élément n'est pas trié par rapport à son voisin adjacent, alors acc est défini sur false et la sortie de la méthode globale sera fausse.

La définition de l'API de la méthode foldLeft est disponible here