lambda-calculus

5Nhiệt

2Trả lời

Kết hợp Y trong sơ đồ bằng cách sử dụng Định nghĩa

Để tìm hiểu những gì một bộ kết hợp điểm cố định và được sử dụng cho, tôi đã viết của riêng mình. Nhưng thay vì viết nó với chức năng nghiêm chỉnh mang tính chất như Wikipedia's example, tôi chỉ sử dụ

lisp scheme lambda-calculus combinators y-combinator 2011-01-14

---

13Nhiệt

1Trả lời

phương trình này với ký hiệu lambda "m >> n = m >> = \ _ -> n" trong khai báo của monad là gì?

class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b m >> n = m >>= \_ -> n fail :: String -> m a Tôi chưa bao giờ thấy phương

haskell lambda monads lambda-calculus 2011-12-31

---

7Nhiệt

6Trả lời

Tái sử dụng một hàm Lambda trong Haskell

tôi phải mất mã này: f x y z = x^3 - g (x + g (y - g z) + g (z^2)) where g x = 2*x^2 + 10*x + 1 Và viết lại nó mà không nơi (hoặc để). Họ có nghĩa là để viết nó với một chức năng Lambda (\ x -> ...

haskell lambda-calculus 2011-11-19

---

5Nhiệt

1Trả lời

Toán tử lambda Calculus ưu tiên

Tôi gặp vấn đề khi hiểu toán tử lambda được ưu tiên. Ví dụ đoạn mã sau: lambda x.x z lambda y.x y sẽ là: lambda x. (x (z lambda y. x y)) hoặc lambda x. ((x z) (lambda y. x y)) ? ví dụ Thậm chí p

lambda operator-precedence lambda-calculus precedence 2011-01-25

---

15Nhiệt

4Trả lời

Lambda tính toán các bước giảm chức năng tiền nhiệm

Tôi bị kẹt với mô tả Wikipedia về hàm tiền nhiệm trong phép tính lambda. gì Wikipedia nói như sau: pred: = λnfx.n (λgh.h (gf)) (λu.x) (λu.u) Ai đó có thể giải thích quá trình giảm bước- từng bước? Cảm

lambda-calculus reduction 2012-01-09

---

20Nhiệt

2Trả lời

"Biến miễn phí" là gì?

(Tôi chắc chắn điều này phải được trả lời trên trang web này, nhưng tìm kiếm bị ngập với khái niệm gọi miễn phí() trên một biến trong C.) Tôi đã xem cụm từ "giảm eta" đã được xác định một cái gì đó nh

haskell functional-programming lambda-calculus 2012-01-13

---

7Nhiệt

3Trả lời

Nhúng các loại được đánh giá cao hơn (monads!) Vào phép tính lambda chưa được phân loại

Có thể mã hóa các loại khác nhau trong phép tính lambda chưa được phân loại thông qua các hàm bậc cao hơn. Examples: zero = λfx. x one = λfx. fx two = λfx. f(fx) three = λfx. f(f(fx)) etc tru

haskell functional-programming monads lambda-calculus untyped-variables 2012-01-19

---

16Nhiệt

3Trả lời

Phép trừ số nhà thờ trong haskell

Tôi đang cố gắng để thực hiện các số nhà thờ trong Haskell, nhưng tôi đã gặp phải một vấn đề nhỏ. Haskell phàn nàn của một loại vô hạn với Xảy ra kiểm tra: không thể xây dựng các loại vô hạn: t = (t -

haskell lambda-calculus church-encoding 2011-07-06

---

5Nhiệt

1Trả lời

S combinator in Erlang

Tôi bắt đầu học phép tính lambda và tôi cần triển khai các tổ hợp I, S, K ở Erlang. Tất nhiên, S, K, tôi là viết tắt của: S = λxyz.xz(yz) K = λxy.x I = λx.x Tôi không có vấn đề tìm hiểu sự biến đổi I

lambda erlang lambda-calculus s-combinator 2011-10-17

---

7Nhiệt

1Trả lời

phép tính lambda: đi qua hai giá trị cho một tham số duy nhất mà không tách lạng bộ

Tôi không thể hiểu tại sao việc giảm beta sau đây được cho phép trong untyped phép tính lambda: (λx.x y) (u v) -> ((u v) y) Cụ thể là tôi không thể hiểu tại sao người ta có thể vượt qua hai tham số

currying lambda-calculus 2011-12-07

---