Lambda aprēķins

Autors: Monica Porter
Radīšanas Datums: 18 Martā 2021
Atjaunināšanas Datums: 1 Jūlijs 2024
Anonim
What is Lambda Calculus? (ft. Church Encodings)
Video: What is Lambda Calculus? (ft. Church Encodings)

Saturs

Definīcija - ko nozīmē Lambda Calculus?

Lambda calculus ir formālās sistēmas veids no matemātiskās loģikas, ko datorzinātnē izmanto funkciju noteikšanai, piemērošanai un atkārtošanai.

Funkcionālā datorprogrammēšana radās no šāda veida aprēķiniem, un tā savukārt darbojas kā modelis programmatūras izstrādei, nodrošinot vienkāršu semantiku funkciju aprēķināšanai. Atšķirībā no obligātajām funkcijām, kas var mainīt programmas statusu, jo tām nav atsauces caurspīdīguma, funkcionālā programmēšana nemaina programmas statusu.


Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.

Techopedia skaidro Lambda Calculus

Lambda aprēķins liek valodas koda pavedieniem iegūt tieši tādas pašas vērtības neatkarīgi no laika vai mašīnas, kurā koda pavediens tika palaists. Tas neattiecas uz obligāto funkciju programmēšanu, kurai parasti ir neparedzamas programmas atbildes.

Funkcionālo programmēšanu var realizēt jebkurā programmēšanas valodā, pat tajās, kas nav izstrādātas ar noklusējuma funkcionālās programmēšanas struktūrām.