Discussion :

[Snyper]

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.

[le y@m's]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

x => "Dude: " + x

correspondrait à la fonction suivante:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

Aussi écrire

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

reviendrait à écrire la fonction

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

ensuite la fonction "fm"

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
def uneFonction(i: Int): String = {
  fm(i)
}
 
w42(uneFonction)

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

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

[Snyper]

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,

[Snyper]

J'ai compris

Je pensais que le paramètre dans

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

 (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.

[le y@m's]

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 ^^ .