Câu hỏi được gắn thẻ «recursion-schemes»

Tôi đã nghe thuật ngữ "than đá" nhiều lần trong các chương trình chức năng và vòng tròn PLT, đặc biệt khi cuộc thảo luận là về các vật thể, comonad, ống kính, v.v. Googling thuật ngữ này cung cấp cho các trang mô tả toán học của các cấu …

339 scala  haskell  functional-programming  category-theory  recursion-schemes 

Tôi đang tìm kiếm một số giải thích thực sự đơn giản, dễ hiểu về lược đồ đệ quy và lược đồ lõi (catamorphisms, anamorphisms, hylomorphisms, v.v.) mà không yêu cầu theo nhiều liên kết hoặc mở một sách giáo khoa lý thuyết danh mục. Tôi chắc chắn rằng tôi …

83 haskell  recursion  functional-programming  recursion-schemes 

Trong recursion-schemesgói các loại sau được định nghĩa: newtype Fix f = Fix (f (Fix f)) newtype Mu f = Mu (forall a. (f a -> a) -> a) Chúng có phải là đẳng cấu không? Nếu vậy, làm thế nào để bạn chứng minh điều đó?

8 haskell  recursion-schemes  fixpoint-combinators