Curryfication et évaluation partielle (javascript/haskell)

Voir aussi : vidéo peertube - vidéo youtube - dépôt git

Comment écrire des fonctions curryfiée et faire de l’évaluation partielle en Javascript et en Haskell.

rappels

• fonction d’ordre supérieur : fonction qui prend ou retourne une fonction

• fonction à plusieurs paramètres :

  • non-curryfiée : prend plusieurs paramètres et retourne une valeur
  • curryfiée : prend un seul paramètre et retourne une fonction gérant les paramètres restant

• évaluation partielle : évaluation d’une fonction curryfiée pour une partie de ses paramètres

exemple en Javascript

• fonction classique (non-curryfiée) à plusieurs paramètres :

add = function(x, y) {
  return x + y
}
n = add(42, 2)

• fonction wrapper simulant l’évaluation partielle :

add42 = function(y) {
  return add(42, y)
}
n = add42(2)

• fonction curryfiée simulant plusieurs paramètres :

add_curry = function(x) {
  return function(y) {
    return x + y
  }
}
n = add_curry(42, 2)

• fonction obtenue par évaluation partielle :

add42_curry = add_curry(42)
n = add42_curry(2)

exemple en Javascript ES6

• fonction classique (non-curryfiée) à plusieurs paramètres :

add = (x, y) => x + y
n = add(42, 2)

• fonction wrapper simulant l’évaluation partielle :

add42 = (y) => add(42, y)
n = add42(2)

• fonction curryfiée simulant plusieurs paramètres :

add_curry = x => y => x + y
n = add_curry(42, 2)

• fonction obtenue par évaluation partielle :

add42_curry = add_curry(42)
n = add42_curry(2)

exemple en Haskell

• fonction non-curryfiée utilisant un tuple :

add (x,y) = x + y
n = add (42,2)

• fonction wrapper simulant l’évaluation partielle :

add42 y = add (42,y)
n = add42(2)

• fonction curryfiée simulant plusieurs paramètres :

add_curry x y = x + y
n = add_curry(42, 2)

• fonction obtenue par évaluation partielle :

add42_curry = add_curry 42
n = add42_curry(2)