Passage de fonctions comme paramètres

Bonjour,

J'ai un petit problème de compréhension pour le cas suivant:

Si j'ai : val f: (Int => String) = (x => "Dude: "+x) pourquoi ne je ne peux pas faire la chose suivante? val f: (Int => String) = ((x+1) => "Dude: "+x); (x + 1) est tout de même un Int....


Je continue...... et je déclare def w42(f: Int => String) = f(42) ok w42(f) génére bien ==> Dude: 42

def fm(i: Int) = "fm "+i Et là je ne comprend pas......

w42((i: Int) => fm(i)) donne comme résultat "fm 42"

Je vois bien que Int => String et donné par Int ==> fm(i) donc int ==> (Int => String) Mais ou est donc Dude??????

Merci par avance.

Citation:

---

Envoyé par Snyper

Si j'ai : val f: (Int => String) = (x => "Dude: "+x) pourquoi ne je ne peux pas faire la chose suivante? val f: (Int => String) = ((x+1) => "Dude: "+x); (x + 1) est tout de même un Int....

---

Ce qu'il y a avant le '=>' est le paramètre de ta fonction. Ainsi :

Code:

---

x => "Dude: " + x

---

correspondrait à la fonction suivante:

Code:

---

1 2 3

def f(x: Int) = { "Dude: " + x }

---

Aussi écrire

Code:

---

(x+1) => "Dude: "+x

---

reviendrait à écrire la fonction

Code:

---

1 2 3

def f(x + 1: Int) = { "Dude: " + x }

---

Ce qui n'est évidemment pas correct. Tu peux en revanche écrire

Code:

---

x => "Dude: " + (x + 1)

---

Citation:

---

Envoyé par Snyper

Je continue...... et je déclare def w42(f: Int => String) = f(42) ok w42(f) génére bien ==> Dude: 42

def fm(i: Int) = "fm "+i Et là je ne comprend pas......

w42((i: Int) => fm(i)) donne comme résultat "fm 42"

Je vois bien que Int => String et donné par Int ==> fm(i) donc int ==> (Int => String) Mais ou est donc Dude??????

Merci par avance.

---

Je pense que le fait d'avoir ta première fonction appelée f t'embrouille avec le paramètre f de la fonction w42.
Reprenons ton code et renommons la première fonction "dude"

Code:

---

val dude: (Int => String) = (x => "Dude: " + x)

---

ensuite la fonction "fm"

Code:

---

val fm(i: Int) = "fm "+i

---

Ces deux fonctions (bien que déclarées différement) attendent toutes les deux un entier pour renvoyer une chaîne de caractère (type Int => String).

Maintenant la fonction w42 qui attend en paramètre une fonction de type Int => String pour lui passer 42 et renvoyer le résultat.

Code:

---

def w42(f: Int => String) = f(42)

---

Donc si on passe la fonction dude en paramètre w42(dude) cela va appelé dude(42) et afficher "Dude: 42"

Maintenant décomposons ton code suivant :

Code:

---

w42( (i: Int) => fm(i) )

---

Tu appeles w42 en lui passant en paramètre (i: Int) => fm(i). Ce code crée dynamiquement une fonction qui attend un entier et renvoi le résultat de fm(i).

En gros ça revient à écrire

Code:

---

1 2 3 4 5

def uneFonction(i: Int): String = { fm(i) }   w42(uneFonction)

---

Donc l'exécution donne :
w42(uneFonction) :arrow: uneFonction(42) :arrow: fm(42) :arrow: "fm 42"

Tu peux noter que la fonction créée dynamiquement n'ajoute rien et l'expression peut être simplifiée à w42(fm)

Je vous remercie pour cette super explication! je vais essayer de comprendre et si j’absorbe bien... je passe en statut résolu.


Merci encore une fois!


Cordialement,

J'ai compris :)

Je pensais que le paramètre dans

Code:

---

(x+1) => "Dude: "+x

---

pouvait être vu lui même comme un paramètre(en passage de fonction).

Et oui... je me suis 'embrouiller avec cette petite histoire paramètre f de la fonction w42 et d'avoir appeler ma première fonction f.

Je me prépare pour le cour Java :)


Merci.

J'avoue qu'il faut un peu s'habituer à ces notations, surtout qu'il y a pas mal de notations différentes pour la même chose. J'ai également commencé scala récemment et c'est un peu la découverte de la programmation fonctionnelle ^^ .