Trang Chủ Phát triển Phép tính lambda là gì? - định nghĩa từ techopedia

Phép tính lambda là gì? - định nghĩa từ techopedia

Mục lục:

Anonim

Định nghĩa - Lambda Compus có nghĩa là gì?

Lambda tính toán là một loại hệ thống chính thức từ logic toán học được sử dụng trong khoa học máy tính để định nghĩa hàm, ứng dụng và đệ quy.


Lập trình máy tính chức năng phát sinh loại tính toán này và lần lượt hoạt động như một mô hình để phát triển phần mềm thông qua việc cung cấp ngữ nghĩa đơn giản để tính toán với các hàm. Không giống như các hàm bắt buộc, có thể thay đổi trạng thái chương trình vì chúng không có độ trong suốt tham chiếu, lập trình hàm không thay đổi trạng thái chương trình.

Techopedia giải thích Lambda Tính

Phép tính Lambda làm cho các luồng mã ngôn ngữ dẫn đến các giá trị chính xác giống nhau, bất kể thời gian hay máy mà luồng mã được chạy. Đây không phải là trường hợp với lập trình hàm bắt buộc, thường có các phản ứng chương trình không thể đoán trước.


Lập trình chức năng có thể được nhận ra trong bất kỳ ngôn ngữ lập trình nào, ngay cả những ngôn ngữ không được thiết kế với các cấu trúc lập trình chức năng mặc định.

Phép tính lambda là gì? - định nghĩa từ techopedia