Được phát triển lần đầu tiên bởi nhà toán học người Mỹ Alonzo Church vào những năm 1930, tính toán lambda là một hệ thống chính thức để thể hiện tính toán dựa trên sự trừu tượng của các hàm. Đó là một nguyên tắc nền tảng trong logic toán học. Nói rõ hơn, tính toán lambda nhằm mục đích trở thành một hệ thống tính toán đơn giản thay thế cho phương pháp "phần cứng" được sử dụng bởi các máy Turing.

Làm thế nào là tính toán lambda được sử dụng?

Trong lập trình máy tính, tính toán lambda được sử dụng để ẩn danh các hàm, cho phép chúng được gọi theo nghĩa trừu tượng. Hành động này làm cho chúng trở thành các đối tượng hạng nhất: chúng có thể được vận hành giống như bất kỳ thực thể nào khác trong ngôn ngữ. Ví dụ, một hàm ẩn danh có thể được truyền cho các hàm khác dưới dạng tham số.

Một trong những ngôn ngữ lập trình đầu tiên sử dụng các chức năng ẩn danh là LISP. Từ lambda đặc biệt trong LISP định nghĩa một hàm mà không đặt tên cho nó. Chẳng hạn, hàm x + 2 có thể được định nghĩa ẩn danh trong LISP với câu lệnh sau:

 (lambda (x) (+ x 2)) 

Các hàm ẩn danh là một phần quan trọng của nhiều ngôn ngữ lập trình hiện đại, bao gồm JavaScript.

Hiệp sĩ tính toán Lambda, Logic, thuật ngữ lập trình, đường cú pháp