<br />
<span class="spoiler">Secret (cliquez pour afficher)</span><div class="spoiler2" onclick="switch_spoiler(this)"><div class="spoiler3">Pour expliquer ce code, on peut utiliser deux notations employées par Backus : on va représenter les arguments donnés à la fonction (qui ne sont pas présents dans le code en langage FP, mais que l'on peut imaginer quand on explique le code) en notant <a, b> le couple (a, b), et on va écrire f:x pour l'application de l'argument x à la fonction f (en maths on note habituellement f(x) pour cela).
<br />