Lập trình hàm là một kiểu lập trình máy tính dựa trên việc đánh giá các hàm toán học. Đây là một kiểu lập trình khai báo, nghĩa là nó sử dụng các biểu thức logic được xác định rõ ràng, nhưng không nói rõ những gì máy tính nên làm ở mỗi bước. Một tiên đề của lập trình hàm là một hàm sẽ trả về cùng một kết quả cho bất kỳ tập đối số đã cho nào. Các hàm tuân thủ khái niệm này, "cùng các đối số, cùng kết quả", bất kể hàm được đánh giá bao nhiêu lần.

Một tính năng phổ biến của lập trình chức năng là các đối tượng bất biến). Khi giá trị của một đối tượng bất biến được đặt, nó không thể thay đổi. Thay vào đó, các bản sao của đối tượng được tạo và sửa đổi. Sử dụng phương pháp này làm tăng bảo mật dữ liệu và đơn giản hóa quá trình gỡ lỗi.

Ví dụ về ngôn ngữ lập trình chức năng

Idempotence, ngôn ngữ lập trình, thuật ngữ lập trình