paragraph_text: U programiranju, rutine (funkcije, procedure, metode) strogo tipiziranih programskih jezika usko odgovaraju tipiziranim lambda izrazima. Eiffel posjeduje pojam "inline agenta" koji omogućava izravno definiranje i manipuliranje lambda izrazima, kroz izraze kao što je agent (O: OSOBA): STRING do Rezultat := o.supruznik.ime end, označujući objekt koji predstavlja funkciju koja vraća ime osobinog supružnika.