Điểm 'fmapDefault' trong 'Data.Traversable' là gì?

Question

tôi nhìn vào tài liệu cho Data.Traversable và đã xem qua fmapDefault - https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base/Data-Traversable.html#g:3

fmapDefault :: Traversable t => (a -> b) -> t a -> t b 

Các trạng thái tài liệu -

Chức năng này có thể được sử dụng như một giá trị cho fmap trong một trường hợp functor, miễn là giao điểm được xác định.

Vì vậy, có lẽ nó có thể được sử dụng để lấy số fmap cho ví dụ Traversable. Tuy nhiên, Traversable có Functor là một siêu lớp.

class (Functor t, Foldable t) => Traversable t where 
    ... 

Vì vậy, bạn không thể xác định một trường hợp Traversable mà không quy định trường hợp Functor đầu tiên! Và bất cứ nơi nào bạn có Traversable, bạn có quyền truy cập vào một fmap, tương đương với (và có lẽ hiệu quả hơn) fmapDefault.

Vì vậy, nơi nào người ta sẽ sử dụng fmapDefault, thay vì nhiều người quen thuộc hơn fmap?

Answer 1

Nó cho phép bạn viết

data Foo a = ... 

instance Functor Foo where -- we do define the functor instance, but we “cheat” 
    fmap = fmapDefault  -- by using `Traversable` in its implementation! 

instance Traversable Foo where 
    traverse = ...   -- only do this manually. 

Điều đó nói rằng, tôi không nghĩ rằng đây là thực sự hợp lý. Các cá thể Functor thường không dễ dàng thực hiện bằng tay, và việc thực hiện rõ ràng sẽ thực sự có hiệu quả hơn một số xuất phát từ Traversable. Thông thường, trường hợp trên thực tế có thể được tạo tự động:

{-# LANGUAGE DeriveFunctor #-} 

data Foo a = ... 
     deriving (Functor)