Indholdsfortegnelse:
Definition - Hvad betyder Lambda Calculus?
Lambda calculus er en form for formel system fra matematisk logik, der bruges i datalogi til funktionsdefinition, anvendelse og rekursion.
Funktionel computerprogrammering opstod ud fra denne type beregninger og fungerer igen som en model til softwareudvikling ved at tilvejebringe enkel semantik til beregning med funktioner. I modsætning til med tvingende funktioner, som kan ændre programstatus, fordi de ikke har referencetransparens, ændrer funktionel programmering ikke programstatus.
Techopedia forklarer Lambda Calculus
Lambda-beregningen gør, at sprogkodetråde resulterer i nøjagtigt de samme værdier, uanset tidspunkt eller maskine, som kodetråden blev kørt på. Dette er ikke tilfældet med programmering af ufravigelig funktion, som typisk har uforudsigelige programsvar.
Funktionel programmering kan realiseres på ethvert programmeringssprog, også dem, der ikke er designet med standard funktionelle programmeringsstrukturer.
