Kann ich ein Typklassenwörterbuch explizit an eine Funktion übergeben?

Question

Sagen wir, ich habe einige typeclass:

data Foo = Foo deriving (Show) 

class Monad m => MonadFoo m where 
    getFoo :: m Foo 

Seit GHC typeclasses über Wörterbuch vorbei (Verwendungen von SPECIALIZE ungeachtet) implementiert, es verwandelt sich effektiv getFoo in etwa wie folgt unter der Haube:

data MonadFooDict m = MonadFooDict { getFoo :: m Foo } 

... und fügt zu Beginn von Aufrufen an getFoo ein zusätzliches Argument ein, das das Wörterbuch umrahmt.

Manchmal möchte ich eine Instanz dynamisch auswählen, daher kann es auch wünschenswert sein, ein Wörterbuch selbst zu übergeben. Ich kann das selbst simulieren, indem ich eine Instanz erstelle, die das Wörterbuch für mich aufbereitet.

newtype DynamicMonadFoo a = DynamicMonadFoo 
    { runFoo :: MonadFooDict DynamicMonadFoo -> a } 
    deriving (Functor, Applicative, Monad 
      , MonadReader (MonadFooDict DynamicMonadFoo)) 

instance MonadFoo DynamicMonadFoo where 
    getFoo = join $ asks _getFoo 

, nun gegeben einige Funktion mit einem MonadFoo Einschränkung, kann ich die runFoo Funktion nutzen es eine explizite typeclass Wörterbuch weitergeben müssen:

showCurrentFoo :: MonadFoo m => m String 
showCurrentFoo = do 
    foo <- getFoo 
    return ("current foo: " ++ show foo) 

ghci> runFoo showCurrentFoo MonadFooDict { _getFoo = return Foo } 
"current foo: Foo" 

Das ist wirklich cool, aber es scheint wie eine solche einfache Aufgabe, dass GHC irgendeine Art von Bibliothek ausstellen könnte, um dies ohne all das zu tun (und idealerweise in einer Weise, die besser mit nicht-monadischen Typklassen funktionieren würde). Wenn man bedenkt, dass GHC einige "reflexionsähnliche" Fähigkeiten wie Data.Typeable hat, scheint dies nicht außerhalb der Möglichkeiten zu liegen, aber ich bin mir nicht sicher, ob es tatsächlich in irgendeiner Form existiert.

Erlauben eventuell vorhandene eingebaute oder andere Bibliotheken dies automatisch?

Answer 1

es ein Artikel zu diesem Thema an der School of Haskell ist:

gegen Ende

Reflecting values to types and back

Siehe Abschnitt Dynamically constructing type-class instances und But what about manual dictionaries?