Au moment de l'exécution de la fonction externe, une fermeture est formée, comprenant le code de la fonction interne et des références à toutes les variables de la fonction extérieure requises par la fermeture ; ces variables sont appelées les valeurs positives de la fermeture.
Dans cet exemple, la fonction nommée gradient forme une fermeture avec les variables f et dx. Cette fermeture est ensuite retournée par la fonction extérieure nommée dérivé.