未确定的泛型类型在 ghci 的运行时中如何表示

我很清楚通用函数和通用数据类型。

在泛型类型中：

data SB = forall x. (show x) => SB x
instance Show SB where
  show (SB x) = show x

所以对于任何给定类型x，如果它有一个签名Show，并且肯定有一个show函数与之对应。

但是当输入 ghci 时，例如

:t 1

outputs

1 :: Num a => a

如果绑定1到一个名字：

let a=1
:t a

now a有一个真实的类型。

问题是：

What is 1运行时系统中的形式（在它有类型之前，它只有Num)，因为它只能保存一些可以转换成的信息。

是否有一些内部功能可以将通用“信息”“打包”成真实的东西？

据我现在所知，在 haskell 中，一些真实的东西应该有“通用”标签，但不应该有一些“纯通用的东西”。

Regards!

可能的结果：

reference to `1` becomes:
get_const_value_1 :: (Num a) => a
get_const_value_1 = fromIntegral (1 :: Integer)

正如 Don Stewart 所说，GHC 中的类型类是使用“字典”实现的。这意味着类型类Num被表示为函数的记录（我将跳过Eq and Show此处的限制）：

class Num a where
    fromInteger :: Integer -> a
    ...

becomes

data Num a = Num { fromInteger :: Integer -> a, ... }

定义实例时，将使用该实例中的函数创建一条新记录：

instance Num Integer where
    fromInteger = id
    ...

becomes

numDictForInteger = Num { fromInteger = id, ... }

现在，当您在多态上下文中使用此函数时，编译器不知道要使用哪个字典，因此它会为其生成一个额外的参数：

foo :: Num a => a
foo = 1

becomes

foo :: Num a -> a
foo numDict = fromInteger numDict 1

注意如何约束Num a =>成为参数Num a ->.

但是，当您删除多态性时，编译器知道要静态使用哪个字典，因此它会继续内联它而不是生成参数：

foo :: Integer
foo = 1

becomes

foo :: Integer
foo = fromInteger numDictForInteger 1

作为脚注，这就是单态限制存在的原因。多态值不会是 CAF，因为它需要字典参数。这可能会导致性能特征与您预期的显着不同，因此您必须明确声明此行为是您想要的。