PureScript中使用Newtype类约束时编译器无法推断类型的原因

问题场景 #

尝试编写一个获取Newtype包装数据的函数，第一种写法编译失败：

newtype Person = Person {name :: String, age :: Int}

getRecord :: forall r. Newtype Person r => Person -> r
getRecord (Person p) = p

编译错误信息 #

Could not match type

    { age :: Int
    , name :: String
    }

  with type

    r0


while checking that type { age :: Int
                         , name :: String
                         }
  is at least as general as type r0
while checking that expression p
  has type r0
in value declaration getRecord

改用unwrap的写法却能正常编译：

getRecord :: forall r. Newtype Person r => Person -> r
getRecord = unwrap 

原因解析 #

先看Newtype类型类的定义：

class (Coercible t a) <= Newtype t a | t -> a

其中| t -> a是函数依赖，表示给定Newtype的包装类型t，可以唯一确定其内部的类型a。

两种写法的核心差异在于：

1. 手动模式匹配的局限性：当你写(Person p)时，编译器会直接将p的类型固定为{name :: String, age :: Int}——这是Person定义里硬编码的内部类型。但函数签名要求返回的是任意满足Newtype Person r的r，编译器无法将这个固定类型与多态的r统一，哪怕函数依赖理论上能确定r的唯一可能值，模式匹配的行为也跳过了类型类约束的推导逻辑。
2. unwrap的类型推导逻辑：unwrap是Newtype类型类提供的方法，其类型为forall t a. Newtype t a => t -> a。当你将getRecord绑定到unwrap时，编译器会利用Newtype Person r的约束，结合函数依赖t -> a，自动推导出r就是Person对应的内部记录类型，完美匹配函数签名的多态要求。

简单来说：手动模式匹配直接取了固定类型的内部值，无法适配多态签名；而unwrap通过类型类约束完成类型推导，能和函数依赖配合满足多态要求。

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