Проблема виведення типів у монаді Writer в мові програмування Haskell

4 Березня 2024 в 17:14 38

Мова програмування Haskell славиться своєю сильною системою типів, яка допомагає уникати багатьох типових помилок під час компіляції програм. Однак іноді виникають ситуації, коли компілятор не може вивести тип деяких виразів автоматично, що може стати причиною непередбачуваних помилок. Однією з таких проблем є виведення типів у монаді Writer після використання оператора послідовності. Давайте розберемося, чому ця проблема виникає і як її можна вирішити.

Мова програмування Haskell славиться своєю сильною системою типів, яка допомагає уникати багатьох типових помилок під час компіляції програм. Однак іноді виникають ситуації, коли компілятор не може вивести тип деяких виразів автоматично, що може стати причиною непередбачуваних помилок. Однією з таких проблем є виведення типів у монаді Writer після використання оператора послідовності. Давайте розберемося, чому ця проблема виникає і як її можна вирішити.

Розглянемо наступний код:

1	Розглянемо наступний код:

import Control.Monad.Writer
class Foo c where
    fromInt :: Int -> c
instance Foo [Int] where
    fromInt n = [n]
instance (Monoid c, Foo c) => Foo (Writer c ()) where
    fromInt d = writer ((), fromInt d)
onetwo :: Writer [Int] ()
onetwo = fromInt 1 >> fromInt 2

import Control.Monad.Writer

class Foo c where

fromInt :: Int -> c

instance Foo [Int] where

fromInt n = [n]

instance (Monoid c, Foo c) => Foo (Writer c ()) where

fromInt d = writer ((), fromInt d)

onetwo :: Writer [Int] ()

onetwo = fromInt 1 >> fromInt 2

Після компіляції отримуємо наступну помилку:

1	Після компіляції отримуємо наступну помилку:

Ambiguous type variable `a0' arising from a use of `fromInt' prevents the constraint `(Foo (WriterT [Int] Data.Functor.Identity.Identity a0))' from being solved.
So it looks like Haskell fails to infer the return type of the Writer monad, but I don't understand why, since it can only be the unit type based on the implementation of fromInt.
Why does Haskell fail to infer this?

Ambiguous type variable `a0' arising from a use of `fromInt' prevents the constraint `(Foo (WriterT [Int] Data.Functor.Identity.Identity a0))' from being solved.

So it looks like Haskell fails to infer the return type of the Writer monad, but I don't understand why, since it can only be the unit type based on the implementation of fromInt.

Why does Haskell fail to infer this?