functor

6Nhiệt

1Trả lời

Tổng quát "chuỗi" cho tất cả các functors?

tôi có mã này: fmapM :: Monad m => (a -> m b) -> (t, a) -> m (t, b) fmapM f (id, e) = do ev <- f e return (id, ev) mà về cơ bản áp dụng cho các chức năng để các yếu tố thứ 2 trong tuple v

16Nhiệt

3Trả lời

Làm thế nào các functors trong Haskell liên quan đến functors trong lý thuyết thể loại?

Đối với xa như tôi hiểu, một functor là một ánh xạ giữa hai loại, ví dụ từ các đối tượng trong C http://mathurl.com/32qch9w.png đến các đối tượng trong D http://mathurl.com/36b8r37.png trong đó C http

7Nhiệt

1Trả lời

ví dụ sử dụng modaz modf, modp và xmap

Có một số hướng dẫn và bài đăng tuyệt vời trong đó bao gồm các phương pháp của Lens đơn giản hơn, ví dụ: Cleaner way to update nested structures; bất cứ ai có thể cung cấp ví dụ sử dụng cho ba phương

8Nhiệt

2Trả lời

C++: chức năng chuyển với số tham số tùy ý dưới dạng tham số

trình duyệt thời gian dài, người hỏi lần đầu tại đây. Tôi đã viết một số script để thực hiện các phương thức tích hợp số 1D khác nhau và biên dịch chúng thành một thư viện. Tôi muốn thư viện đó linh h

11Nhiệt

1Trả lời

Lịch sử đằng sau lớp loại Functor là gì?

Tôi đang cố gắng có được sự hiểu biết sâu sắc về hệ thống phân cấp của lớp học Monad. Một phần trong đó là, tất nhiên, nhìn thấy rất nhiều ví dụ, nhưng tôi đặc biệt quan tâm đến lịch sử về cách các lớ

5Nhiệt

1Trả lời

Viết một thể hiện Hiển thị cho Data.Functor.Compose mà không có FlexibleContexts

Tôi đang thử nghiệm với Data.Functor.Compose và muốn viết một ví dụ Hiển thị cho nó khi thử mọi thứ trong ghci. Những gì tôi có (đang hoạt động) là: {-# LANGUAGE FlexibleContexts #-} instance (Show (

5Nhiệt

2Trả lời

Chức năng trong Haskell rằng thích catMaybes, nhưng có loại [Có lẽ a] -> Có lẽ [a]

Tôi muốn có một chức năng với các loại: f :: [Maybe a] -> Maybe [a] ví dụ f [Just 3, Just 5] == Just [3, 5] f [Just 3, Nothing] == Nothing f [] == Just [] Nó tương tự như catMaybes :: [Maybe a]

5Nhiệt

1Trả lời

Gói Haskell nào có đơn vị functor/monad?

Tôi đang tìm kiếm các đơn vị functor/đơn nguyên data Unit a = Unit tôi có thể dễ dàng tái tạo nó, nhưng tôi không muốn lặp lại một cái gì đó này cơ bản. Nó được sử dụng để sống trong Control.Functor

7Nhiệt

1Trả lời

Ví dụ Functor cho GADT có ràng buộc kiểu

Hôm nay tôi muốn điều tra nếu có thể xây dựng kiểu dữ liệu theo cách sao cho nó không lưu trữ dữ liệu kiểu chữ ký của nó, nhưng đại diện khác của nó . Vì vậy, đây là nỗ lực của tôi về một GADT trong đ

7Nhiệt

1Trả lời

cách tạo hàm trả về hàm functor có cùng chữ ký với hàm?

Có thể trong C++ để tạo hàm trả về một hàm functor có cùng chữ ký với hàm không? cơ bản, cách hợp pháp hóa decltype(foo) foo();. hoặc với functors: function<function<function<...(void)>(void)>(void)>