Higher Order Function

Bonjour à tous !
Je me mets tout doucement au Scala (et par la même occasion à la programmation fonctionnelle), et j'ai un problème de compréhension au niveau de ce code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

package highOrderFunction   object Test { def main(args : Array[String]) : Unit = { println(apply(layout, 10)) }   /**  * @param f fonction qui ?  * @param v un type int  * @return la fonction f appliquée à la valeur v.  */ def apply(f: Int=>String, v: Int) = f(v)   def layout[A](x: A) : String = { "[" +x.toString() + "]" }   }

---

Je ne comprend pas ce qui signifie le morceaux :

Code:

---

def apply(f: Int=>String, v: Int) = f(v)

---

Ni ce que signifie :

Code:

---

def layout[A](x: A) : String = {

---

Ce que je pense avoir compris :
La fonction apply prend en paramètre une fonction f et une valeur v.
Elle applique ensuite la fonction à la valeur.

Mais je ne comprends pas bien la syntaxe des éléments mis en gras.

Quelqu'un pourrait-il m'expliquer ?

Merci d'avance les amis :)

Salut,

Code:

---

1 2	Int => String

---

indique une fonction qui prend en paramètre un Int et retourne un String

Donc dans le cas de ta fonction apply, ça veut dire qu'elle s'attend que son paramètre f soit une fonction qui prend un Int en entrée et retourne un String

D'ailleurs, une fonction d'ordre supérieure (aka Higher Order Function) est tout simplement une fonction qui prend en paramètre une fonction (ou plusieurs); comme ta fonction apply en somme

Concernant:

Code:

---

1 2	def layout[A](x: A) : String = {

---

c'est simplement la syntaxe Scala pour définir une type générique au niveau d'une fonction. En Java, ça correspondrait à:

Code:

---

1 2	public <A> String layout(A x) {

---

Je rajouterais juste la précision suivante :

Code:

---

Int => String

---

est un type, tout comme Int et String. Int => String est le type des fonctions qui prennent en paramètre un Int et renvoient une String. Il peut aussi se noter (Int) => String, ce qui se généralise à plusieurs paramètres, par exemple, (Int, String) => String ainsi qu'à 0 paramètres, () => String.

Waow !

Ok ! Il me manquait effectivement un élément nécessaire pour que je comprenne ...

Un grand merci à vous deux d'avoir pris le temps de répondre.

Ps : Désolé du retard de réponse, période d'examen oblige !