![Lambda Calculus - Computerphile](https://i.ytimg.com/vi/eis11j_iGMs/hqdefault.jpg)
Indhold
- Definition - Hvad betyder Lambda Calculus?
- En introduktion til Microsoft Azure og Microsoft Cloud | Gennem denne vejledning lærer du, hvad cloud computing handler om, og hvordan Microsoft Azure kan hjælpe dig med at migrere og drive din virksomhed fra skyen.
- Techopedia forklarer Lambda Calculus
Definition - Hvad betyder Lambda Calculus?
Lambda calculus er en type formelt system fra matematisk logik, der bruges i datalogi til funktionsdefinition, anvendelse og rekursion.
Funktionel computerprogrammering opstod af 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.
En introduktion til Microsoft Azure og Microsoft Cloud | Gennem denne vejledning lærer du, hvad cloud computing handler om, og hvordan Microsoft Azure kan hjælpe dig med at migrere og drive din virksomhed fra skyen.
Techopedia forklarer Lambda Calculus
Lambda-beregningen gør, at sprogkodetråde resulterer i nøjagtigt de samme værdier, uanset tid 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.