避免类型注释

我们使用类型注释来避免歧义。类型应用程序可用于相同目的。例如

 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 ()