Pertama yang dibangunkan oleh ahli matematik Amerika Alonzo Church pada tahun 1930-an, kalkulus lambda adalah sistem formal untuk menyatakan perhitungan berdasarkan abstraksi fungsi. Ia adalah prinsip asas dalam logika matematik. Lebih jelas, kalkulus lambda bertujuan untuk menjadi sistem perhitungan ringkas yang merupakan alternatif kepada pendekatan "perkakasan" yang digunakan oleh mesin Turing.

Bagaimanakah kalkulus lambda digunakan?

Dalam pengaturcaraan komputer, kalkulus lambda digunakan untuk fungsi anonim, yang membolehkan mereka dirujuk dalam arti abstrak. Tindakan ini menjadikan mereka objek kelas pertama: mereka boleh dikendalikan sama seperti mana-mana entiti lain dalam bahasa tersebut. Sebagai contoh, fungsi anonim boleh diserahkan kepada fungsi lain sebagai parameter.

Salah satu bahasa pengaturcaraan pertama yang menggunakan fungsi tanpa nama adalah LISP. Kata khas lambda dalam LISP mentakrifkan fungsi tanpa memberi nama. Sebagai contoh, fungsi x + 2 boleh ditakrifkan tanpa nama di LISP dengan pernyataan berikut:

 (lambda (x) (+ x 2)) 

Fungsi tanpa nama adalah bahagian penting dalam banyak bahasa pengaturcaraan moden, termasuk JavaScript.

Ksatria Lambda Kalkulus, Logik, Pengaturcaraan istilah, Gula sintaktik