Я просто читаю на лямбдальному обчисленні, щоб "познайомитися з цим". Я розглядаю це як альтернативну форму обчислень на відміну від машини Тьюрінга. Це цікавий спосіб роботи з функціями / скороченнями (грубо кажучи). Деякі питання продовжують нудити на мене:
- У чому сенс обчислення лямбда? Навіщо проходити всі ці функції / скорочення? Яка мета?
- Як результат, мені залишається цікаво: Що конкретно зробив обчислення лямбда для просування теорії КС? Що це за внесок, який дозволив би мені мати «ага» момент розуміння необхідності його існування?
- Чому обчислення лямбда не висвітлюється в текстах з теорії автоматів? Загальний маршрут - пройти різні автомати, граматики, машини Тьюрінга та класи складності. Обчислення лямбда включається лише до програми для курсів у стилі SICP (можливо, ні?). Але я рідко бачив, щоб це було частиною основної навчальної програми CS. Це означає, що це не все так цінно? Може, ні, і я, можливо, щось тут пропускаю?
Я знаю, що функціональні мови програмування базуються на лямбдальному обчисленні, але я не вважаю це вагомим внеском, оскільки він був створений значно раніше, ніж у нас були мови програмування. Отже, насправді в чому сенс пізнання / розуміння лямбдального обчислення, wrt його застосування / внесок у теорію?
Functional Programming
обговорював Haskell і трохи Lisp. Наступником цього було те Principles of Programming Languages
, що використовувало ML та вводило обчислення лямбда. Як показують деякі відповіді, саме тут належить обчислення лямбда: у класі про мови програмування, набір тексту тощо