Motivazione di avere dipendenze funzionali

Question

Qual è la motivazione di avere dipendenze funzionali in Haskell?

Un esempio di una dipendenza funzionale:

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

Si afferma nel libro RWH, che la dipendenza funzionale aiuta il tipo di controllo. In che modo aiuta davvero?

Inoltre, questo pezzo di codice in realtà compila:

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

Ma credo, che produrrà un errore di runtime.

Answer 1

È perfettamente corretto scrivere codice non utilizzando dipendenze funzionali, è solo un problema da utilizzare poiché l'inferenza fa schifo.

Fondamentalmente senza FD, la funzione get :: MonadState m s => m s dovrà calcolare m e s in modo indipendente. Solitamente lo m è facilmente deducibile, ma spesso s richiederebbe un'annotazione esplicita.

Inoltre, questo è molto più generale di quanto abbiamo bisogno, così invece si può limitare la nostra coontrollore dei tipo a dire "Per m, c'è esattamente 1 s", in questo modo, una volta m si evince, s è evidente per l'inferenza di tipo algoritmo