combinators

5Nhiệt

1Trả lời

Biểu thị Y theo thuật ngữ SKI-Combinators trong JavaScript

Tôi đã không hài lòng với các Cominator bằng JavaScript và được tự hào về (hy vọng) khiến S hoạt động khi tôi tình cờ gặp Wikipedia nói: "Bộ kết hợp Y có thể được thể hiện trong SKI- calculus như: Y =

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ụ

6Nhiệt

2Trả lời

Tổ hợp này có tên không?

Hàm này f chấp nhận một danh sách đối số và trả về một hàm có thể gọi khác với cùng một danh sách đối số, để các hàm khác có thể được áp dụng cho nó. from operator import add, mul def f(*a, **kw):

12Nhiệt

2Trả lời

Folding flatMap/ràng buộc hơn một danh sách các hàm (hay còn gọi là tên đó Combinator!)

Trong quá trình viết một máy tính RPN đơn giản, tôi có bí danh loại sau đây: type Stack = List[Double] type Operation = Stack => Option[Stack] ... và tôi đã viết một đường tò mò nhìn mã Scala: val

9Nhiệt

4Trả lời

foldr và gấp lại các giải thích và ví dụ khác

Tôi đã xem different folds và folding in general cũng như một số khác và chúng giải thích rõ ràng. Tôi vẫn gặp sự cố về cách lambda hoạt động trong trường hợp này. foldr (\y ys -> ys ++ [y]) [] [1,2,3

8Nhiệt

1Trả lời

Scala: Tôi có thể di chuyển một trình phân tích cú pháp để tham lam cục bộ không?

Giả sử tôi có một ngôn ngữ mơ hồ được thể hiện trong trình phân tích cú pháp kết hợp. Có cách nào để làm cho một số biểu thức tham lam cục bộ? Đây là một ví dụ về ý tôi. import scala.util.parsing.comb

8Nhiệt

1Trả lời

Không chắc chắn về cách thiết kế một thư viện hữu ích bằng cách sử dụng các combinators

Tôi đã đọc về các combinator và thấy chúng hữu ích như thế nào (ví dụ, trong Parsec của Haskell). Vấn đề của tôi là tôi không hoàn toàn chắc chắn làm thế nào để sử dụng chúng thực tế. Đây là một phác

11Nhiệt

3Trả lời

Bộ kết hợp điểm cố định cho các chức năng đệ quy hai bên?

Có một bộ kết hợp điểm cố định để tạo các bộ dữ liệu đệ quy có chức năng đệ quy không? I E. Tôi đang tìm một cái gì đó giống như Y-Combinator nhưng có nhiều chức năng "đệ quy", và sẽ trả về một bộ chứ

48Nhiệt

9Trả lời

foldr hoạt động như thế nào?

Ai đó có thể giải thích cách hoạt động của foldr? Thực hiện các ví dụ: Prelude> foldr (-) 54 [10, 11] 53 Prelude> foldr (\x y -> (x+y)/2) 54 [12, 4, 10, 6] 12.0 Tôi đang bối rối về những hành. Bấ

16Nhiệt

3Trả lời

Ngắn mạch (&&) trong Haskell

Một câu hỏi nhanh đã làm tôi lo lắng gần đây. Haskell có thực hiện tất cả các phép thử tương đương trong một hàm trả về một boolean, ngay cả khi một hàm trả về một giá trị sai? Ví dụ f a b = ((a+b) ==