Phrase OCaml :
Addition simple Factorielle Factorielle récursive terminale Longueur d'une liste Nombre de feuilles d'un arbre Schéma reduce
let add x y = x+y in add 1 2

Lambda-expression :

Lambda-expression réduite :


Résultat uniquement Etapes successives Stratégie OCaml/Scheme Stratégie Haskell Ordre normal de réduction (NOR) Ordre applicatif de réduction (AOR)