避免类型注释
我们使用类型注释来避免歧义。类型应用程序可用于相同目的。例如
placeholderCopyx::Num a => a
x = 5
main::IO ()
main = print x
此代码存在歧义错误。我们知道 a
有一个 Num
实例,为了打印它,我们知道它需要一个 Show
实例。如果 a
例如是 Int
,这可能有效,所以要修复错误我们可以添加类型注释
placeholderCopymain = print (x::Int)
使用类型应用程序的另一种解决方案如下所示
placeholderCopymain = print @Int x
要理解这意味着我们需要查看 print
的类型签名。
placeholderCopyprint::Show a => a -> IO ()
该函数采用 a
类型的一个参数,但另一种查看它的方法是它实际上需要两个参数。第一个是类型参数,第二个是类型是第一个参数的值。
值参数和类型参数之间的主要区别在于,当我们调用它们时,后者会隐式地提供给函数。谁提供给他们?类型推理算法! TypeApplications
让我们做的是明确地给出那些类型参数。当类型推断无法确定正确的类型时,这尤其有用。
所以要打破上面的例子
placeholderCopyprint::Show a => a -> IO ()
print @Int::Int -> IO ()
print @Int x::IO ()