Câu hỏi được gắn thẻ «lambda-calculus»

Câu hỏi cơ bản: Không gì giải tích lambda làm cho chúng ta biết rằng chúng ta không thể làm gì với các thuộc tính chức năng cơ bản và ký hiệu thường học trong đại số trung học cơ sở? Trước hết, trừu tượng có nghĩa là gì trong …

18 lambda-calculus  programming-paradigms 

Gần đây tôi đã trở nên cực kỳ quan tâm đến việc hiểu và chứng minh các khía cạnh của ngôn ngữ lập trình (chức năng). Tuy nhiên, khi tôi đi sâu hơn vào, những thứ như phép tính, lý thuyết phạm trù và ngữ nghĩa học biểu thị là …

15 reference-request  lambda-calculus  functional-programming  books 

Có kỹ thuật nào để giải phương trình hàm cho các hàm chưa biết trong phép tính lambda không? Giả sử tôi có chức năng nhận dạng được định nghĩa mở rộng như sau: Ix=xIx=xI x = x (nghĩa là, bằng cách viết ra một phương trình cho hành vi …

14 lambda-calculus 

Tôi đang đọc về thuật toán gõ Hindley-Milner trong khi viết một triển khai và thấy rằng, miễn là mọi biến bị ràng buộc, bạn sẽ luôn nhận được các loại nguyên tử hoặc các loại trong đó các đối số sẽ xác định loại cuối cùng, chẳng hạn như …

14 lambda-calculus  type-theory  typing  type-inference 

Ai đó có thể giới thiệu cho tôi các bài báo đánh giá ngang hàng nghiên cứu các ưu điểm hoặc nhược điểm của việc viết mã theo kiểu chức năng không? Có bài báo nào thảo luận về các ứng dụng của Lambda Tính trong các lĩnh vực như …

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Thứ tự áp dụng: Luôn đánh giá đầy đủ các đối số của hàm trước khi tự đánh giá hàm, như - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 …

14 logic  lambda-calculus  normal-forms 

Hầu hết các hướng dẫn về Lambda Compus đều cung cấp ví dụ trong đó Số nguyên dương và Booleans có thể được biểu diễn bằng Hàm. Còn -1 và tôi thì sao?

14 data-structures  lambda-calculus  integers  real-numbers 

Tôi nghĩ rằng tôi khá bối rối về những gì được gọi là một phép tính và những gì được gọi là ngôn ngữ lập trình. Tôi có xu hướng suy nghĩ, và có thể đã được nói rằng, một phép tính là một hệ thống chính thức để lý …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

Một biểu thức tổ hợp (giả sử trong cơ sở SK) có thể được coi là một hàm ánh xạ các biểu thức tính toán của tổ hợp thành các biểu thức tính toán của tổ hợp. Nghĩa là, người ta có thể nghĩ về một biểu thức là một …

13 lambda-calculus  combinatory-logic 

Tôi muốn một ví dụ về một quine trong phép tính lambda thuần túy . Tôi đã khá ngạc nhiên khi tôi không thể tìm thấy một người bằng cách googling. Trang quine liệt kê các câu hỏi cho nhiều ngôn ngữ "thực", nhưng không phải cho phép tính lambda. …

13 lambda-calculus 

Lập trình hàm có tính toán Lambda rất thanh lịch và các biến thể của nó như là một lý thuyết dự phòng. Có một điều như vậy cho OOP? Một sự trừu tượng cho mô hình hướng đối tượng là gì?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Tôi đã hỏi một câu hỏi tương tự trên cstheory.SE . Theo câu trả lời này trên Stackoverflow có một thuật toán trên một ngôn ngữ lập trình chức năng thuần túy phi lười biếng có phức tạp, trong khi cùng một thuật toán trong lập trình bắt buộc là …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Đầu tiên, tôi muốn nói rằng văn bản của tôi dưới đây có thể có lỗi, vì vậy, vui lòng chỉ ra bất kỳ lỗi nào trong cách xây dựng câu hỏi của tôi. Hãy xem xét một phép tính lambda chưa được đánh dấu với booleans và if-statement có …

12 programming-languages  lambda-calculus 

Tôi đang cố gắng để hiểu ngữ pháp nhạy cảm ngữ cảnh. Tôi hiểu tại sao ngôn ngữ như { W w | w ∈ A*}{ww|w∈Một*}\{ww \mid w \in A^*\} { anbncn| N ∈ N }{mộtnbncn|n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} không phải là bối cảnh miễn phí, nhưng những gì …

12 formal-grammars  programming-languages  lambda-calculus  context-sensitive 

Tôi đang xem Giải tích công trình và vị trí của nó trong Lambda Cube . Nếu tôi hiểu chính xác, mỗi trục của khối lập phương có thể được coi là thêm một hoạt động khác liên quan đến các loại vào phép tính được gõ đơn giản, λ→λ→\lambda_\to …

11 terminology  lambda-calculus  type-theory  dependent-types