Съдържание:
Определение - Какво означава Lambda Calculus?
Изчисляването на ламбда е вид формална система от математическата логика, използвана в компютърните науки за дефиниране на функции, приложение и рекурсия.
Функционалното компютърно програмиране възникна от този тип смятане и действа от своя страна като модел за разработка на софтуер чрез предоставяне на проста семантика за изчисляване с функции. За разлика от императивните функции, които могат да променят състоянието на програмата, тъй като нямат референтна прозрачност, функционалното програмиране не променя състоянието на програмата.
Техопедия обяснява Lambda Calculus
Изчисляването на ламбда прави, че езиковите кодови нишки водят до абсолютно същите стойности, независимо от времето или машината, върху която е била изпълнена кодовата нишка. Това не е така при императивното функционално програмиране, което обикновено има непредсказуеми програмни отговори.
Функционалното програмиране може да се реализира на всеки език за програмиране, дори и на тези, които не са проектирани с функционални структури за програмиране по подразбиране.
