Haskell，读取另一个进程的内存

Question

我正在尝试读取另一个进程的基地址值并输出它。

我得到这样的句柄： handle <- openProcess 0x0010 False PID

然后尝试像这样读取基地址result <- peekP handle BASE_ADDRESS

然而，这显然是错误的，因为它不知道应该读取什么类型，所以我得到：

Ambiguous type variable `a0' arising from a use of `peekP' prevents the constraint `(Storable a0)' from being solved.`

我相信我应该以某种方式使用::来指定我想使用的可存储类型，但找不到任何解释如何执行此操作的地方。

如果有人能告诉我如何做到这一点，那就太好了。

抱歉，如果这是一个愚蠢的问题，我们将不胜感激。

Answer 1

根据peekP 文档， peekP的签名是

peekP :: Storable a => PHANDLE -> ForeignAddress -> IO a

所以它的返回类型是多态的。

如果编译器无法推断出使用的具体类型而不是类型变量a ，它将发出您看到的此类（或类似）错误消息。

正如你所建议的，你可以帮助编译器连同类型注释，例如

result <- ((peekP handle BASE_ADDRESS) :: IO Int32)

还有peekProcessMemory ，我猜它的名字会更合适。