在haskell中为`_`提供类型签名
我想联想_与coerce但我不能给它一个类型签名。
有什么技巧可以解决这个问题吗？
import Data.Coerce
ok :: ()
ok =
let a = _ "hi"
in let a :: String = __ "Hi"
in ()
where
_ = undefined
__ :: Coercible a b => a -> b
__ = coerce
ko =
let a = _ "hi"
in let a :: String = __ "Hi"
in ()
where
__ = undefined
_ :: Coercible a b => a -> b. -- Invalid type signature: _ :: ... Should be of form <variable> :: <type>parser
_ = coerce
回答
_是不能重新定义的保留名称。它可以在模式中用作通配符，例如
let (_,x) = .... -- takes the second component
(_,_,_,x,_) = .... -- takes the fourth component
_ = .... -- does not bind any variable
in ....
与其他变量名不同，它可以在一个模式中多次出现。
它也可以用作孔：例如，
let a = _ "hi"
触发特殊错误
• Found hole: _ :: [Char] -> t
Where: ‘t’ is a rigid type variable bound by
the inferred type of a :: t
从本质上讲，_ "hi"要求编译器提供一个术语，其类型t应具有使整个表达类型检查时孔_所取代t。
因此，您的okesample 并不是真的好，而是触发了上述特殊错误。