Inhoud
- Definitie - Wat betekent Lambda Calculus?
- Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
- Techopedia legt Lambda Calculus uit
Definitie - Wat betekent Lambda Calculus?
Lambda-calculus is een type formeel systeem uit de wiskundige logica dat in de informatica wordt gebruikt voor functiedefinitie, toepassing en recursie.
Functionele computerprogrammering is voortgekomen uit dit soort calculus en fungeert op zijn beurt als een model voor softwareontwikkeling door eenvoudige semantiek te bieden voor berekening met functies. In tegenstelling tot imperatieve functies, die de programmastatus kunnen wijzigen omdat ze geen referentiële transparantie hebben, verandert functionele programmering de programmastatus niet.
Een inleiding tot Microsoft Azure en de Microsoft Cloud | In deze handleiding leert u wat cloud computing inhoudt en hoe Microsoft Azure u kan helpen bij het migreren en runnen van uw bedrijf vanuit de cloud.
Techopedia legt Lambda Calculus uit
Lambda calculus zorgt ervoor dat taalcodethreads exact dezelfde waarden opleveren, ongeacht de tijd of de machine waarop de codethread werd uitgevoerd. Dit is niet het geval bij het programmeren van imperatieve functies, die doorgaans onvoorspelbare programmeerreacties heeft.
Functioneel programmeren kan worden gerealiseerd in elke programmeertaal, zelfs die niet zijn ontworpen met standaard functionele programmeerstructuren.