Início / coding / Perguntas / 79249227
Accepted
kesarling
Asked: 2024-12-04 05:29:19 +0800 CST

Como eu tornaria GHC.Ptr uma instância de Monad?

  • 772

Isto é o que tenho até agora:

instance Monad Ptr where
    return = pure
    (>>=) (Ptr t) f = f t

O erro que está sendo gerado é:

    • Couldn't match a lifted type with an unlifted type
      When matching types
        a :: *
        GHC.Prim.Addr# :: TYPE 'GHC.Types.AddrRep
    • In the first argument of ‘f’, namely ‘t’
      In the expression: f t
      In an equation for ‘>>=’: (>>=) (Ptr t) f = f t
    • Relevant bindings include
        f :: a -> Ptr b (bound at RegionalMemory.hs:16:19)
        (>>=) :: Ptr a -> (a -> Ptr b) -> Ptr b
          (bound at RegionalMemory.hs:16:5)
   |
16 |     (>>=) (Ptr t) f = f t
   |                         ^

Não entendi bem esse erro. O que estou fazendo errado aqui?

pointers

1 respostas

  1. Best Answer

    tnão é do tipo a, mas sim um Addr#ess, então você não. De fato, o Ptrtipo de dado é definido como  [Haskell-src] :

    data Ptr a = Ptr Addr#
  deriving ( Eq  -- ^ @since base-2.01
           , Ord -- ^ @since base-2.01
           )

    O anão informa qual é o tipo do valor encapsulado no construtor de dados, mas informa a que tipo de coisa o endereço se refere.

    Então não podemos fazer isso funcionar, não obtemos o "resultado" do endereço para passar como parâmetro.

    • 1

relate perguntas