Motywacja posiadania zależności funkcjonalnych

Question

Jaka jest motywacja posiadania zależności funkcjonalnych w Haskell?

Przykładem zależności funkcjonalnej:

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

To jest zawarta w książce RWH, że zależność funkcjonalna pomaga sprawdzania typu. Jak to naprawdę pomaga?

Również ten kawałek kodu faktycznie kompiluje:

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

Ale myślę, będzie produkować błąd wykonania.

Answer 1

Jest całkiem dobrze napisać kod nie używając zależności funkcjonalnych, jest to po prostu uciążliwe, ponieważ wnioskowanie jest do bani.

Zasadniczo bez FD, funkcja get :: MonadState m s => m s będzie musiała niezależnie ustalić m i s. Zwykle łatwo jest wywnioskować, że m, ale często s wymagałoby wyraźnej adnotacji.

Co więcej, jest to o wiele bardziej ogólne niż potrzebujemy, więc zamiast tego możemy ograniczyć nasze typechecker do powiedzenia „Dla m, nie jest dokładnie 1 s”, w ten sposób, raz m jest wywnioskować, s jest oczywiste typu wnioskowania algorytm