Lambda-abstraktado
El Vikipedio
Lambda-abstraktado estas abstrakta lambda-esprimo. Ĝi estas esprimita en lingvo de lambda-kalkulo. Lambda-abstraktado rilatas al funkcionala programado same kiel pseŭda-kodo rilatas al imperativa programado.
Lambda-abstraktado estas lambda-esprimo sen liberaj variabloj: Ĉiu de ĝiaj variabloj estas barita per iu λ. Ekzemple
- f (f (f x))
estas konkreta lambda-esprimo, sed
- λf. λx. f (f (f x))
estas abstrakta lambda-esprimo.
Ekzemple, λ povas anstataŭi 'por ĉiu', 'por iu', aŭ 'estas'. En ĉi tiu okazo, la esprimo povis esti por 'logika propozicio'.
