Pertama kali dikembangkan oleh ahli matematika Amerika Alonzo Church pada 1930-an, lambda calculus adalah sistem formal untuk mengekspresikan komputasi berdasarkan abstraksi fungsi. Ini adalah prinsip dasar dalam logika matematika. Lebih jelasnya, kalkulus lambda bertujuan untuk menjadi sistem perhitungan sederhana yang merupakan alternatif dari pendekatan "perangkat keras" yang digunakan oleh mesin Turing.

Bagaimana kalkulus lambda digunakan?

Dalam pemrograman komputer, kalkulus lambda digunakan untuk menganonimkan fungsi, yang memungkinkannya untuk dirujuk dalam pengertian abstrak. Tindakan ini membuat mereka objek kelas satu: mereka dapat dioperasikan seperti entitas lain dalam bahasa. Misalnya, fungsi anonim dapat diteruskan ke fungsi lain sebagai parameter.

Salah satu bahasa pemrograman pertama yang menggunakan fungsi anonim adalah LISP. Kata khusus lambda dalam LISP mendefinisikan fungsi tanpa memberinya nama. Sebagai contoh, fungsi x + 2 dapat didefinisikan secara anonim di LISP dengan pernyataan berikut:

 (lambda (x) (+ x 2)) 

Fungsi anonim adalah bagian penting dari banyak bahasa pemrograman modern, termasuk JavaScript.

Knights of Lambda Calculus, Logic, Istilah pemrograman, Gula sintaksis