haskell - Haskell 中的通用默认值

Question

给定两个函数:

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 头)中实现？

Answer 1

愚蠢的不回答:

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?