lambda-calculus

9Nhiệt

1Trả lời

Làm thế nào để sử dụng ngữ cảnh đặt tên để tìm chỉ số de Bruijn của các biến miễn phí?

Trong "Loại và Ngôn ngữ lập trình", mục 6.1.2, chúng nói về ngữ cảnh đặt tên được sử dụng để đánh số tự do trong biểu thức lambda. Sử dụng lược đồ ví dụ mà họ đã cung cấp, cả hai λx.xb và λx.xx sẽ có

9Nhiệt

1Trả lời

Một số loại và/hoặc thuật ngữ nào trong hệ thống-f không thể được thể hiện trong Hindley Milner

Tôi nhớ đọc ở đâu đó rằng Hindley Milner là một hạn chế đối với hệ thống-f. Nếu đúng như vậy, có thể ai đó vui lòng cung cấp cho tôi một số thuật ngữ có thể được gõ vào hệ thống-f nhưng không phải tro

5Nhiệt

2Trả lời

Chữ số của Giáo hội chuyển thành int không có ngôn ngữ nguyên thủy

Có thể chuyển đổi số nhà thờ thành biểu diễn số nguyên mà không sử dụng ngôn ngữ nguyên thủy như add1 không? Tất cả các ví dụ tôi đã đi qua sử dụng một nguyên thủy để dechurch để int Ví dụ: plus1 = la

12Nhiệt

2Trả lời

η-mở rộng bằng một ngôn ngữ chức năng thuần túy

Trong OCaml, nó là hợp pháp phải có trong .mli: val f : 'a -> 'a val g : 'a -> 'a và .ml: let f x = x let g = f Tuy nhiên, trong F #, điều này bị từ chối: eta_expand.ml(2,5): error FS0034: Modul

5Nhiệt

3Trả lời

Các loại chữ ký của một combinator không phù hợp với loại chữ ký của chức năng Lambda tương đương

Cân nhắc combinator này: S (S K) Áp dụng nó để các đối số XY: S (S K) X Y Nó thu gọn lại để: X Y Tôi đã chuyển đổi S (SK) thành các thuật ngữ Lambda tương ứng và nhận kết quả này: (\x y -> x y)

5Nhiệt

1Trả lời

gì combinator này làm: s (sk)

bây giờ tôi hiểu kiểu chữ ký của s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 Và tôi có thể tạo ra những ví dụ mà làm việc mà không có lỗi trong công cụ Haskell WinGHCi: Ví dụ: s (s k)

26Nhiệt

3Trả lời

danh sách Giáo Hội trong Haskell

tôi phải thực hiện các chức năng bản đồ Haskell để làm việc với danh sách nhà thờ được định nghĩa như sau: type Churchlist t u = (t->u->u)->u->u Trong phép tính lambda, danh sách được mã hóa như sau

24Nhiệt

3Trả lời

Điều gì có nghĩa là "Capture-tránh thay thế"?

Trong khi đọc phần tích phân Lambda trong Wiki, đi qua cụm từ Thay thế chụp thay thế. Ai đó có thể giải thích ý nghĩa của nó vì tôi không thể tìm thấy một định nghĩa từ bất cứ đâu. Cảm ơn PS Những gì

6Nhiệt

1Trả lời

Lambda biểu hiện tính toán chức năng triển khai ứng dụng

Tôi chỉ tìm thấy sự biểu hiện phép tính lambda sau: (((λ f . (λ x . (f x))) (λ a . a)) (λ b . b)) Vì vậy, đó là một chức năng mà có một đối số f và trả về một chức năng mà có một đối số x và mang lạ

6Nhiệt

1Trả lời

Mã nhị phân lambda Calculus mã hóa dấu ngoặc đơn như thế nào?

Mã hóa BLC như thế nào? Ví dụ: cách này: λa.λb.λc.(a ((b c) d)) Được mã hóa trong BLC? Ghi chú: Bài viết Wikipedia không hữu ích vì nó sử dụng một ký hiệu lạ và chỉ cung cấp một ví dụ đơn giản, khôn