给定两个函数:
f :: (A a, B b) => a -> b
g :: (B b, C c) => b -> c
有什么办法(在 GHC 中)我可以写:
h x = g (f x)
无需为
f x 添加类型签名，例如h x = g ((f x) :: T)
通过拥有一些“默认类型”
f x如果没有指定，则需要？我怀疑我需要像 Defaulting in Haskell Prime 这样的东西但这是否已在 GHC(或 GHC 头)中实现？
最佳答案
愚蠢的不回答:
asT :: T -> T
asT = id
h = g . asT . f
缺乏“默认”是 Haskell 泛型风格的痛点之一。事情变得太笼统了，Haskell 不知道该选择哪个实例。现状是“程序员需要明确地解决歧义”。无需指定默认的顶级规则，您只需根据具体情况选择适当的实例。
Num默认是这个规则的一个hacky异常(exception)。您链接的提案有一个很好的例子，说明为什么在涉及多个类时选择默认值并非易事。
default A (Int, String, ())
default B (String, Int, ())
(A t, B t) => t -- defaults to what?
关于haskell - Haskell 中的通用默认值，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28609023/