combinators

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)

11Nhiệt

2Trả lời

Scala: Làm phẳng phân tích cú pháp (~) từ trình kết hợp bộ phân tích cú pháp thành Danh sách?

Tôi đã viết một số trình phân tích cú pháp từ thư viện kết hợp. Tôi muốn một hàm tổng quát biến đổi bất kỳ kích cỡ tổ nào thành một danh sách. Làm như thế nào ? Dưới đây là ví dụ về trình phân tích cú

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)

6Nhiệt

1Trả lời

Đây có phải là việc triển khai bộ kết hợp điểm cố định không?

Tôi cho rằng điều này không thể được gọi là "đệ quy điểm cố định" vì nó quá đơn giản. Tuy nhiên, gần đây tôi đã nhận ra nó thực sự có thể là. Tôi đã triển khai hiệu quả đệ quy điểm cố định chưa? Dưới

5Nhiệt

1Trả lời

Clojure có thể đánh giá một chuỗi các chức năng phối hợp hỗn hợp và trả về một phần chức năng nếu cần?

Giả sử bạn có ba chức năng của arity 1, 2 và 3 như sau: (defn I [x] x) (defn K [x y] x) (defn S [x y z] (x z (y z))) Liệu clojure có chức năng thẩm định hoặc thành ngữ để đánh giá: (I K S I I) as

29Nhiệt

2Trả lời

Y combinator thảo luận trong "The Little Schemer"

Vì vậy, tôi đã dành rất nhiều thời gian đọc và đọc lại kết thúc của chương 9 trong The Little Schemer, trong đó ứng dụng Y combinator được phát triển cho các chức năng length . Tôi nghĩ rằng sự nhầm l

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ạ

5Nhiệt

1Trả lời

Bộ kết hợp "kiểu Y" hai lớp. Điều này có phổ biến không? Điều này có một tên chính thức?

Tôi đã xem xét cách ngôn ngữ cấm sử dụng trước và không có các ô có thể thay đổi (không có số set! hoặc setq) có thể cung cấp đệ quy. Tôi dĩ nhiên chạy băng qua combinator Y và bạn bè, ví dụ (nổi tiến

6Nhiệt

1Trả lời

Có thể cho trường hợp được trình bày được tối ưu hóa thành một vòng lặp không?

Giả sử tôi có hai hàm f :: [a] -> b và g :: [a] -> c. Tôi có hai câu hỏi sau: Nếu tôi thực hiện (f &&& g) xs nơi xs :: [a], và nếu cả hai f và g liên quan đến vòng, là nó có thể cho trình biên dịch để

12Nhiệt

4Trả lời

Tại sao GHC thực hiện sửa chữa để gây nhầm lẫn?

Nhìn vào mã nguồn GHC tôi có thể thấy rằng định nghĩa cho sửa chữa là: fix :: (a -> a) -> a fix f = let x = f x in x Trong một ví dụ sửa chữa được sử dụng như thế này: fix (\f x -> let x' = x+1 in