Content
- Definició: què significa Lambda Calculus?
- Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
- Techopedia explica Lambda Calculus
Definició: què significa Lambda Calculus?
El càlcul Lambda és un tipus de sistema formal de la lògica matemàtica usat en informàtica per a la definició de funcions, l'aplicació i la recursivitat.
La programació funcional de l'ordinador va sorgir d'aquest tipus de càlcul i actua al seu torn com a model per al desenvolupament de programari, proporcionant una semàntica senzilla per al càlcul de funcions. A diferència de les funcions imperatives, que poden canviar l'estat del programa perquè no tenen transparència referencial, la programació funcional no canvia l'estat del programa.
Una introducció a Microsoft Azure i al Microsoft Cloud | Durant aquesta guia, podreu conèixer què és la informàtica en núvol i com Microsoft Azure us pot ajudar a migrar i executar el vostre negoci des del núvol.
Techopedia explica Lambda Calculus
El càlcul Lambda fa que els fils de codi de llenguatge resultin exactament els mateixos valors, independentment del temps o de la màquina en què s’hagi executat el fil de codi. Aquest no és el cas de la programació de funcions imperatives, que normalment té respostes de programa imprevisibles.
La programació funcional es pot realitzar en qualsevol llenguatge de programació, fins i tot aquells que no han estat dissenyats amb estructures de programació funcional predeterminades.