Мотивация наличия функциональных зависимостей

Question

Какова мотивация наличия функциональных зависимостей в Haskell?

Одним из примеров функциональной зависимости:

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

Об этом говорится в книге RWH, что функциональная зависимость помогает проверки типов. Как это на самом деле помогает?

Кроме того, этот кусок кода на самом деле составляет:

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

Но я думаю, это приведет к ошибке во время выполнения.

Answer 1

Замечательно писать код, не используя функциональные зависимости, это просто боль, потому что вывод отстой.

В принципе без FDs функция get :: MonadState m s => m s должна будет определить m и s самостоятельно. Обычно m довольно легко вывести, но часто s потребует явного аннотации.

Кроме того, это гораздо больше общего, чем нам нужно, так что вместо этого мы можем ограничиться проверки типов, чтобы сказать «Для m, существует ровно 1 s», таким образом, как только m выводится, s очевидно для вывода типа алгоритм