#lang racket (define f (λ (a b) ; 2 parametri formali, cu numele a și b (cons a (λ (a) ; definesc o altă variabilă cu numele a, care servește în corpul acestui lambda ca parametru formal al funcției (+ a (* a b)) ; aici folosesc a din λ, dar b din f ))))