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

Đã đóng cửa . Câu hỏi này cần được tập trung hơn . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để nó chỉ tập trung vào một vấn đề bằng cách chỉnh sửa bài đăng này . Đóng …

13 programming-languages  computer-science  lambda-calculus 

Tôi có những gì tôi sẽ gọi một câu hỏi triết học về tính toán. Khi bạn khám phá-tính toán, bạn sẽ ngạc nhiên khi thấy tất cả những điều bạn có thể làm ở đó. Bạn có thể định nghĩa các số nguyên, các phép toán số học, booleans, …

11 computer-science  lambda-calculus 

Trong các ngôn ngữ háo hức như Scheme và Python, bạn có thể sử dụng biểu thức lambda mà không có tham số để trì hoãn đánh giá, ví dụ như trong Scheme (Lược đồ gà): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) …

9 python  haskell  scheme  lambda  lambda-calculus