Haskell 如何解决此编译错误：不明确的类型变量'a1'；在约束中_Haskell_Types

Haskell 如何解决此编译错误：不明确的类型变量'a1'；在约束中

haskell types

Haskell 如何解决此编译错误：不明确的类型变量'a1'；在约束中,haskell,types,Haskell,Types,人们可以这样想：应用程序动态加载一个模块，或者有一个功能列表供用户选择，等等。我们有一种机制来确定某个类型是否能成功地使用该模块中的某个功能。现在我们要调用这个函数。我们需要强迫它打电话。该函数可以采用具体的类型，也可以采用多态的类型，下面的例子就是我遇到问题的类型类约束以下代码导致以下错误。我认为可以通过指定具体类型来解决这个问题，但我不想这样做。该代码用于处理作为该类实例的任何类型。指定一个具体类型无法达到目的这是在模拟一个程序的一部分，它不知道另一部分，也不知道它所处理的内容的类型。

人们可以这样想：应用程序动态加载一个模块，或者有一个功能列表供用户选择，等等。我们有一种机制来确定某个类型是否能成功地使用该模块中的某个功能。现在我们要调用这个函数。我们需要强迫它打电话。该函数可以采用具体的类型，也可以采用多态的类型，下面的例子就是我遇到问题的类型类约束

以下代码导致以下错误。我认为可以通过指定具体类型来解决这个问题，但我不想这样做。该代码用于处理作为该类实例的任何类型。指定一个具体类型无法达到目的

这是在模拟一个程序的一部分，它不知道另一部分，也不知道它所处理的内容的类型。我有一个单独的机制，允许我确保类型正确匹配，发送的值实际上是类型类的实例。这就是为什么在这种情况下，我不介意使用不安全的资源。但基本上，我需要一种方法来告诉编译器，我确实知道它是可以的，并且无论如何都要这样做，即使它不知道足够的内容来进行类型检查

{-# LANGUAGE ExistentialQuantification, RankNTypes, TypeSynonymInstances #-}
module Main where

import Unsafe.Coerce

main = do
  --doTest1 $ Hider "blue"
  doTest2 $ Hider "blue"

doTest1 :: Hider -> IO ()
doTest1 hh@(Hider h) =
  test $ unsafeCoerce h

doTest2 :: Hider -> IO ()
doTest2 hh@(Hider h) =
  test2 hh

test :: HasString a => a -> IO ()
test x = print $ toString x

test2 :: Hider -> IO ()
test2 (Hider x) = print $ toString (unsafeCoerce x)

data Hider = forall a. Hider a

class HasString a where
  toString :: a -> String

instance HasString String where
  toString = id

跑步测试1

[1 of 1] Compiling Main             ( Test.hs, Test.o )

Test.hs:12:3:
    Ambiguous type variable `a1' in the constraint:
      (HasString a1) arising from a use of `test'
    Probable fix: add a type signature that fixes these type variable(s)
    In the expression: test
    In the expression: test $ unsafeCoerce h
    In an equation for `doTest1':
        doTest1 hh@(Hider h) = test $ unsafeCoerce h

跑步测试2

[1 of 1] Compiling Main             ( Test.hs, Test.o )

Test.hs:12:3:
    Ambiguous type variable `a1' in the constraint:
      (HasString a1) arising from a use of `test'
    Probable fix: add a type signature that fixes these type variable(s)
    In the expression: test
    In the expression: test $ unsafeCoerce h
    In an equation for `doTest1':
        doTest1 hh@(Hider h) = test $ unsafeCoerce h

我认为可以通过指定具体类型来解决这个问题，但我不想这样做

尽管有了

unsafeccerce

，这是没有办法解决的。在这种特殊情况下，编译器无法推断

unsafeccerce

的类型，因为

test

仍然是多态的。即使只有一个

hastring

实例，类型系统也不会使用该事实来推断类型

关于这个模式的具体应用，我没有足够的信息，但我相对确信，您需要重新思考在程序中使用类型系统的方式。但是如果您真的想这样做，您可能需要查看

Data.Typeable

，而不是

unsafeccerce