Kazalo:
Opredelitev - Kaj pomeni izračun Lambda?
Lambda izračunavanje je vrsta formalnega sistema iz matematične logike, ki se v računalništvu uporablja za definiranje funkcij, uporabo in rekurzijo.
Iz te vrste izračunov je nastalo funkcionalno računalniško programiranje in je po vzoru razvoj programske opreme z zagotavljanjem preproste semantike za računanje s funkcijami. Za razliko od nujnih funkcij, ki lahko spremenijo status programa, ker nimajo referenčne preglednosti, funkcionalno programiranje ne spremeni statusa programa.
Tehopedija razlaga Lambda računico
Lambda izračunavanje naredi jezikovne niti jezikovnih kod v popolnoma enakih vrednostih, ne glede na čas ali stroj, na katerem se je vodila nit. To ne velja za nujno programiranje funkcij, ki ima običajno nepredvidljive programske odzive.
Funkcijsko programiranje je mogoče izvesti v katerem koli programskem jeziku, tudi v tistem, ki ni bil zasnovan s privzeto funkcionalnimi programskimi strukturami.
