Início / coding / Perguntas / 79324701
Accepted
141592653
Asked: 2025-01-03 02:55:21 +0800 CST

GHCi não infere instância para alguma ação de IO

  • 772

Executar o seguinte no GHCi gera um erro em stuff' 4mas não em stuff 4. Por quê?

Existe uma maneira de consertar isso? Eu gostaria de usar MkStuff'e não MkStuff.

ghci> 
:{
class MkStuff s m | m -> s where
  stuff:: s -> m ()

instance MkStuff Int IO where
  stuff = print

class MkStuff' s m | m -> s where
  stuff' :: s -> m

instance MkStuff' Int (IO ()) where
  stuff' = print
:}

ghci> stuff 4
4
ghci> stuff' 4

<interactive>:16:1: error: [GHC-39999]
    • No instance for ‘MkStuff' Integer ()’ arising from a use of ‘it’
    • In the first argument of ‘print’, namely ‘it’   
      In a stmt of an interactive GHCi command: print it
haskell

1 respostas

  1. Best Answer

    Embora eu não tenha certeza absoluta, acredito que é isso que acontece.

    O GHCi tem alguma mágica dentro. Após inserir uma expressão, o GHCi tenta aproximadamente o seguinte:

    1. Tente inferir e :: IO apara alguns a. Se possível:

      a. Verifique se aé um Showtipo. Se for, execute a ação ee então imprima seu valor resultante do tipo a(a menos que a~()).

      b. Caso contrário, execute a ação ee imprima o avalor resultante.

    2. Caso contrário, tente inferir e :: apara alguns ada classe Show. Se possível, imprima a string obtida por show e.

    3. Caso contrário, imprima um erro de tipo.

    No seu primeiro caso, ao inferir stuff 4 :: IO aGHCi pode ver que stuff 4 :: m (), portanto m ~ IO. Isso pode ser usado para confirmar sua instância, e tudo prossegue suavemente.

    No seu segundo caso, ao inferir stuff' 4 :: IO aGHCi pode ver que stuff' 4 :: m, portanto m ~ IO a. Isso não é suficiente para confirmar a instância porque a instância é sobre IO (), e anão foi (ainda) inferida como (). Se outra instância instance MkStuff' Char (IO Bool) where ...existisse, ela poderia fornecer outro candidato, então não podemos confirmar.

    Falhando na etapa 1, passamos para a etapa 2, mas nada concreto apode ser encontrado. Regras padrão try a ~ (), daí seu erro estranho No instance for ‘MkStuff' Integer ()’. Infelizmente, essa inadimplência ocorre tarde demais no processo para permitir o commit na instância IO.

    Tente tornar o cabeçalho da instância mais geral:

    instance a ~ () => MkStuff' Int (IO a) where
  stuff' = print

    Isso permite corretamente que o GHCi faça commit na instância. Note que você não poderá adicionar mais instâncias envolvendo IOdessa forma.

    • 3

relate perguntas