catamorphism

11Nhiệt

1Trả lời

Việc triển khai thư viện của một lược đồ đệ quy

Tôi 'đã phát minh ra' một lược đồ đệ quy, đó là sự khái quát hóa sự biến chất. Khi bạn gấp một cấu trúc dữ liệu với catamorphism bạn không có quyền truy cập vào subterms, chỉ để subresults của gấp: {-

23Nhiệt

1Trả lời

Có thể làm cho GHC tối ưu hóa (deforest) các chức năng chung như catamorphisms?

Tôi thực sự thích ý tưởng về làm việc với catamorphisms/anamorphisms một cách chung chung, nhưng có vẻ như với tôi nó có một hiệu suất nhược điểm đáng kể: Giả sử chúng ta muốn làm việc với một cấu trú

6Nhiệt

1Trả lời

Scala suy luận kiểu câu hỏi

Tôi chỉ pottering về với Tony Morris' excellent exercise on catamorphisms, khi tôi đang suy nghĩ chuyện gì đang xảy ra trong tình huống sau đây ... def cata[X](some: A => X, none: => X): X Bây giờ t

9Nhiệt

2Trả lời

Mối quan hệ của nếp gấp trên Tùy chọn, v.v. và gấp trên Traversable là gì?

Scalaz cung cấp một phương thức có tên fold cho các ADT khác nhau như Boolean, Option[_], Validation[_, _], Either[_, _] v.v. Phương pháp này về cơ bản có chức năng tương ứng với tất cả các trường hợp

5Nhiệt

3Trả lời

"có thể" giống như chức năng cho Bool và Danh sách?

Thỉnh thoảng tôi thấy mình đang tích hợp mẫu "nếu Bool không sai" hoặc "nếu danh sách không trống, hãy sử dụng nó, nếu không thì hãy sử dụng cái gì khác". Tôi đang tìm các hàm cho Bool và Danh sách là