haskell - 类型约束 : Can they be inferred from the datatype of a function's arguments?

Question

这个

newtype ( Show a , Show b , Show c ) => T a b c = T Int
t :: T a b c -> a -> b -> c -> String
t ( T x ) a b c = show a ++ show b ++ show c

给我一个错误:

No instance for (Show c)
      arising from a use of `show'
    In the second argument of `(++)', namely `show c'
    In the second argument of `(++)', namely `show b ++ show c'
    In the expression: show a ++ show b ++ show c

但是这个

newtype ( Show a , Show b , Show c ) => T a b c = T Int
t :: ( Show a , Show b , Show c ) => T a b c -> a -> b -> c -> String
t ( T x ) a b c = show a ++ show b ++ show c

编译。

为什么？

在第一种情况下，“T a b c”不是已经暗示“(Show a , Show b , Show c )”吗？为什么需要明确指定约束？

Answer 1

不，在数据(新类型)定义上放置上下文从未完全符合人们的预期。它仅在构造值时更改构造函数的类型，在模式匹配时不会发生任何新情况。这是一个基本无用的功能，并且已在最新版本的 Haskell 中删除。

您的期望是相当合理的，但这不是数据类型上下文所做的。