Classes for Functors

A short example why you would like explicit dictionaty passing.

-- Explicit
class NFData1 f where
    rnfWith :: (a -> ()) -> f a -> ()

-- Implicit
class NFData1' f where
    rnf1 :: NFData a => f a -> ()

The explicit one is more powerful, but it has its drawbacks too.

Gist source

• 2024-06-24 – hashable arch native
• 2024-05-28 – cabal fields
• 2024-04-21 – A note about coercions
• 2024-04-18 – What makes a good compiler warning?
• 2024-04-12 – Core Inspection

twitter github email linkedin stackoverflow