Sadržaj:
Definicija - Što znači Lambda kalkulus?
Lambda računica je vrsta formalnog sustava iz matematičke logike koji se koristi u računalnoj znanosti za definiranje funkcija, primjenu i rekurziju.
Funkcionalno računalno programiranje nastalo je iz ove vrste izračuna, a zauzvrat djeluje kao model za razvoj softvera pružajući jednostavnu semantiku za računanje s funkcijama. Za razliku od imperativnih funkcija, koje mogu promijeniti status programa jer nemaju referentnu transparentnost, funkcionalno programiranje ne mijenja status programa.
Tehopedija objašnjava Lambda Calculus
Lambda izračunavanje čini da jezičke kode rezultiraju u istim vrijednostima, bez obzira na vrijeme ili stroj na kojem je nit pokrenuta. To nije slučaj s imperativnim programiranjem funkcija, koje obično ima nepredvidive programske odgovore.
Funkcionalno programiranje može se realizirati na bilo kojem programskom jeziku, čak i onom koji nije dizajniran sa zadanim funkcionalnim programskim strukturama.
