Motivation der funktionalen Abhängigkeiten

Question

Was ist die Motivation für funktionale Abhängigkeiten in Haskell?

Ein Beispiel für eine funktionale Abhängigkeit:

class (Monad m) => MonadSupply s m | m -> s where 
    next :: m (Maybe s) 

Es ist in dem RWH Buch angegeben, dass funktionale Abhängigkeit hilft, den Typ-Checker. Wie hilft es eigentlich?

Auch dieses Stück Code kompiliert tatsächlich:

class (Monad m) => MonadSupply s m where 
     next :: m (Maybe s) 

Aber ich denke, es wird ein Laufzeitfehler erzeugen.

Answer 1

Es ist vollkommen in Ordnung, Code ohne funktionale Abhängigkeiten zu schreiben, es ist nur ein Schmerz zu verwenden, da die Inferenz saugt.

Grundsätzlich ohne FDs muss die Funktion get :: MonadState m s => m sm und s unabhängig herausfinden. Normalerweise wird m relativ einfach abgeleitet, aber oft benötigt s eine explizite Anmerkung.

Darüber hinaus ist diese viel allgemeiner ist als wir brauchen, so stattdessen können wir unsere typechecker beschränken zu sagen: „Für m gibt es genau 1 s“, auf diese Weise, sobald m geschlossen wird, ist s offensichtlich für den Typinferenz Algorithmus