Lambda Calculus

May -Akda: Monica Porter
Petsa Ng Paglikha: 18 Marso. 2021
I -Update Ang Petsa: 1 Hulyo 2024
Anonim
Lambda Calculus - Computerphile
Video.: Lambda Calculus - Computerphile

Nilalaman

Kahulugan - Ano ang ibig sabihin ng Lambda Calculus?

Ang calculus ng Lambda ay isang uri ng pormal na sistema mula sa pang-matematika na lohika na ginamit sa agham ng computer para sa kahulugan ng pag-andar, application at recursion.

Ang function na computer programming ay lumabas mula sa ganitong uri ng calculus, at kumikilos bilang isang modelo para sa pag-unlad ng software sa pamamagitan ng pagbibigay ng simpleng semantika para sa pagkalkula sa mga pag-andar. Hindi tulad ng mga mahahalagang pag-andar, na maaaring magbago ng katayuan ng programa dahil wala silang referential transparency, ang pagganap na programming ay hindi nagbabago sa katayuan ng programa.


Isang Panimula sa Microsoft Azure at ang Microsoft Cloud | Sa buong gabay na ito, malalaman mo kung ano ang lahat ng cloud computing at kung paano makakatulong ang Microsoft Azure sa iyo upang lumipat at patakbuhin ang iyong negosyo mula sa ulap.

Ipinaliwanag ng Techopedia ang Lambda Calculus

Ginagawa ng calculus ng Lambda ang mga thread ng code ng wika na nagreresulta sa eksaktong parehong mga halaga, anuman ang oras o machine na pinapatakbo ang code thread. Hindi ito ang kaso sa mga mahahalagang pagprograma ng pag-andar, na karaniwang may hindi sinasabing mga tugon ng programa.

Maaaring maisasakatuparan ang pag-andar ng pag-andar sa anumang wika ng pagprograma, kahit na ang mga hindi idinisenyo gamit ang mga default na istruktura ng programming.