Code d'exemple

fn fun_test(value: i32, f: &dyn Fn(i32) -> i32) -> i32 {
    println!("{}", f(value));
    value
}

fn times2(value: i32) -> i32 {
    2 * value
}

fn main() {
    fun_test(5, &times2);
}

Explication
Il y a trois types possibles de fonctions :

• Fn qui ne peut pas modifier l'objet qu'elle capture.
• FnMut qui peut modifier l'objet qu'elle capture.
• FnOnce la plus restrictive. Ne peut être appelée qu'une seule fois car une fois invoquée elle se consomme elle-même ainsi que l'objet qu'elle capture.

Définition

Le currying de fonction est la décomposition d'une fonction à n paramètres en n fonctions à 1 paramètre.

Prenons un exemple :

// A) Vous écrivez :
val result:Int = add(1, 2, 3)     // result = 6

// B) Vous souhaitez écrire :
val result:Int = add(1)(2)(3)     // result = 6

Passer de A à B, c'est la currification ou currying en anglais. L'opération inverse s'appelle la décurification.

Remarque :
Dans l'exemple (B), add(1) retourne une fonction qui une fois exécutée avec le paramètre 2 retourne une autre fonction qui prendra le paramètre 3.

Un résumé d'une bonne partie des lambas (Consumer, BiFunction, Function, Predicate) et des pointeurs sur fonctions.