lambda-calculus

38Nhiệt

10Trả lời

Tôi đã thử nhiều lần để nắm bắt khái niệm về continuations và call/cc. Mọi nỗ lực đơn lẻ đều thất bại. Ai đó có thể giải thích cho tôi những khái niệm này, lý tưởng với các ví dụ thực tế hơn những ví

6Nhiệt

3Trả lời

Chữ số của Giáo hội: cách mã hóa số không trong phép tính lambda?

tôi đang học phép tính lambda nhưng tôi không thể dường như hiểu được mã hóa cho số 0. như thế nào là "chức năng mà mất trong một chức năng và giá trị thứ hai và áp dụng các chức năng zero lần trên lậ

8Nhiệt

1Trả lời

Làm thế nào để viết một danh sách trống bằng cách sử dụng S, K và tôi combinators?

Tôi biết rằng: (cons [p] [q]) is ((s ((s i) (k [p]))) (k [q])) (car [lst]) is ([lst] k) (cdr [lst]) is ([lst] (k i)) Tôi muốn viết một danh sách như thế này (cons [a] (cons [b] (cons [c] [nil])))

13Nhiệt

1Trả lời

Tính toán lambda và số nhà thờ nhầm lẫn

Tôi đang cố gắng hiểu những điều cơ bản về phép tính lambda và số Giáo hội. Tôi đã làm rất nhiều việc đọc và luyện tập, nhưng dường như tôi vẫn gặp khó khăn khi cố gắng xem một số chức năng hoạt động

10Nhiệt

3Trả lời

Chiến lược cho desugaring Haskell

Tôi đang phát triển một máy ảo cho các chương trình thuần túy chức năng và tôi muốn có thể kiểm tra và sử dụng nhiều loại mô-đun Haskell đã có sẵn. VM lấy làm đầu vào về cơ bản các thuật ngữ trong phé

52Nhiệt

8Trả lời

Một số tài nguyên để học Lambda Calculus là gì?

Vì vậy, mục nhập Wikipedia trên Lambda Calculus thật thú vị nhưng tôi đã hoàn thành nó. Tôi muốn lặn sâu hơn một chút và hiểu rõ hơn về Lambda Calculus. Có ai có thể giới thiệu những gì họ coi là cuốn

6Nhiệt

4Trả lời

Sự hội tụ của Toán học và Ngôn ngữ lập trình

Có vẻ như có một chuyển động mạnh mẽ cho sự hội tụ của toán học và ngôn ngữ lập trình máy tính, điều này đáng chú ý là ảnh hưởng của phép tính lambda trên ngôn ngữ hiện đại. Hầu hết thời gian tôi khôn