Định nghĩa Lambda Calculus là gì?
Lambda Calculus là Lambda Calculus. Đây là nghĩa tiếng Việt của thuật ngữ Lambda Calculus - một thuật ngữ thuộc nhóm Technology Terms - Công nghệ thông tin.
Độ phổ biến(Factor rating): 5/10
Phép tính lambda 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 cho định nghĩa hàm, ứng dụng và đệ quy. lập trình máy tính chức năng nảy sinh ra thuộc loại này của giải tích, và đóng vai trò lần lượt như một mô hình phát triển phần mềm thông qua cung cấp ngữ nghĩa đơn giản để tính toán với các chức năng. Không giống với các chức năng bắt buộc, có thể thay đổi trạng thái chương trình vì họ không có sự minh bạch tham chiếu, lập trình chức năng không thay đổi trạng thái chương trình.
Xem thêm: Thuật ngữ công nghệ A-Z
Giải thích ý nghĩa
Lambda calculus làm cho mã ngôn ngữ chủ đề gây ra chính xác cùng một giá trị, không phụ thuộc vào thời gian hoặc máy sợi mã đã được chạy trên. Đây không phải là trường hợp với lập trình chức năng bắt buộc, mà thường có phản ứng chương trình khó lường. chức năng lập trình có thể được thực hiện trong bất kỳ ngôn ngữ lập trình, ngay cả những người không được thiết kế với cấu trúc lập trình chức năng mặc định.
What is the Lambda Calculus? - Definition
Lambda calculus is a type of formal system from mathematical logic used in computer science for function definition, application and recursion. Functional computer programming arose out of this type of calculus, and acts in turn as a model for software development via providing simple semantics for computation with functions. Unlike with imperative functions, which can change program status because they don't have referential transparency, functional programming doesn't change program status.
Understanding the Lambda Calculus
Lambda calculus makes language code threads result in exactly the same values, regardless of the time or machine the code thread was run on. This is not the case with imperative function programming, which typically has unpredictable program responses. Functional programming can be realized in any programming language, even those that were not designed with default functional programming structures.
Thuật ngữ liên quan
- Relational Calculus
- Functional Programming
- Commit
- Access Modifiers
- Acyclic
- Appending Virus
- Armored Virus
- Binder
- Countermeasure
- Level Design
Source: Lambda Calculus là gì? Technology Dictionary - Filegi - Techtopedia - Techterm