y-combinator

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

---

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

haskell recursion fixed-point combinators y-combinator 2012-10-21

---

14Nhiệt

1Trả lời

Tôi đã thực hiện bộ tổ hợp Y bằng cách sử dụng C# động và nếu không, thì nó là gì?

Não của tôi dường như ở chế độ masochistic, vì vậy sau khi bị chết đuối trong this, this và this, nó muốn gây rối với một số DIY trong C#. tôi đã đưa ra những điều sau đây, mà tôi không nghĩ là Y-Comb

c# dynamic functional-programming y-combinator 2011-10-05

---

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ứ

recursion functional-programming combinators y-combinator mutual-recursion 2011-02-04

---

21Nhiệt

4Trả lời

Tại sao loại chức năng này (a -> a) -> a?

Tại sao loại chức năng này (a -> a) -> a? Prelude> let y f = f (y f) Prelude> :t y y :: (t -> t) -> t Đây có phải là loại vô hạn/đệ quy không? Tôi sẽ cố gắng và đưa vào từ những gì tôi nghĩ rằng đ

haskell types recursion anonymous y-combinator 2012-01-18

---

5Nhiệt

4Trả lời

Chức năng đệ quy, Ngăn xếp ngăn xếp và Bộ kết hợp Y

Tôi có chức năng đệ quy (trong C#) mà tôi cần gọi khoảng 800 triệu lần; điều này rõ ràng thường sẽ dẫn đến tràn ngăn xếp sau khoảng cuộc gọi thứ 900. Tôi đã thực hiện điều này với nhiều vòng lặp, nhưn

c# recursion functional-programming stack-overflow y-combinator 2011-12-02

---

16Nhiệt

2Trả lời

Tại sao các kiểu dữ liệu quy nạp cấm các kiểu như `dữ liệu Xấu a = C (Xấu a -> a)` trong đó kiểu đệ quy xảy ra trước ->?

Hướng dẫn sử dụng Agda trên Inductive Data Types and Pattern Matching tiểu bang: Để đảm bảo bình thường, xuất hiện quy nạp phải xuất hiện ở các vị trí dương. Ví dụ, các kiểu dữ liệu sau đây không được

haskell recursive-datastructures algebraic-data-types y-combinator agda 2012-09-29

---

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

scheme combinators y-combinator the-little-schemer 2012-05-08

---

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

scheme lisp combinators y-combinator anonymous-recursion 2013-04-28

---

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 =

javascript combinators y-combinator combinatory-logic 2011-09-09

---