为何GHCi接受编译无法通过的输入？Haskell类型问题问询

首先，先明确你的场景：你探索Haskell类型系统时定义了一个依赖类型构造器的数据类型，代码如下：

data Kung t a = Kung { field :: t a } deriving (Show, Eq)
val1 = Kung { field = [1,5] }  -- 合法：t是[]，a是Int
val2 = Kung { field = Just 3 } -- 合法：t是Maybe，a是Int
-- val3 = Kung { field = 3 }    -- 编译报错：类型不匹配

你疑惑为什么GHCi有时候会接受那些在模块编译时无法通过的代码，这本质是因为GHCi的交互式设计和GHC编译模式的核心目标不同，两者存在几个关键差异：

1. 默认启用的语言扩展不同 #

GHCi为了提升交互式开发的便利性，默认开启了一系列编译模式下默认关闭的语言扩展：

• ExtendedDefaultRules：允许GHC为模糊的类型推断选择宽松的默认值。比如在GHCi里输入return 3，会自动推断为IO Integer并执行；但放到模块里编译时，会因无法确定Monad实例报错，除非你显式添加类型签名或启用该扩展。
• FlexibleContexts：支持更灵活的类型上下文约束，调试时很实用，但模块编译需要显式声明启用。
• TypeApplications：默认允许你通过@语法显式指定类型参数，在交互式调试中快速测试不同类型组合。

2. 交互式类型推断的上下文依赖 #

GHCi的类型推断是即时且上下文敏感的：你可以先输入一个模糊定义，后续补充类型信息让它合法。比如：
在GHCi里先定义一个恒等类型构造器：

newtype Id a = Id a deriving (Show, Eq)

再输入：

val3 = Kung { field = Id 3 }

这会被正常接受。但在模块编译时，你必须先定义Id才能编写val3，GHC不会等待后续代码补充上下文。

3. 延迟错误检查（部分场景） #

GHCi会延迟某些运行时错误的检查，直到你实际使用某个值。比如：

val4 = Kung { field = undefined }

GHCi会接受这个定义，直到你输入val4尝试打印时，才会抛出undefined的错误。而模块编译时虽然能通过这个定义，但后续使用时仍会触发错误。

回到你的val3例子 #

你注释的val3 = Kung { field =3 }不管在GHCi还是编译模式下都会报错，因为3的类型是Num p => p（具体类型），而field要求的是t a——即一个接受单参数的类型构造器t应用于类型a后的结果（比如[Int]、Maybe Int），两者结构不匹配。如果想让它合法，你需要用一个恒等构造器包装3，就像上面的Id例子那样。

内容的提问来源于stack exchange，提问作者sandwood