许多介绍性文本将告诉您,在Haskell类型中,签名"几乎总是"可选的.任何人都可以量化"差不多"的部分吗？
据我所知,您需要显式签名的唯一时间是消除类型类的歧义.(典型的例子是read . show.)还有其他我没有想到的情况,或者是这样吗？
read . show
(我知道如果你超越Haskell 2010就有很多例外.例如,GHC永远不会推断排名N类型.但是排名N类型是语言扩展,而不是官方标准[尚未]. )
haskell types typeclass
haskell ×1
typeclass ×1
types ×1