具有不同字段名称的记录的 haskell 变体

Question

鉴于此:

data Foo = Bar { name :: String } | Baz { nickname :: String }

函数 name 和 nickname 似乎都是 Foo -> String 类型:

:t name
name :: Foo -> String

:t nickname
nickname :: Foo -> String

但是，定义不完整，因为以下两个表达式都会引发模式匹配错误:

name $ Baz { nickname = "Bob" }
nickname $ Bar { name = "Fred" }

是否可以完成name和nickname的定义，例如:

name Baz { nickname = n } = ...

nickname Bar { name = n } = ...

在拥抱中尝试这个会产生诸如“变量名的多个声明”之类的错误。

Answer 1

不，这是不可能的。字段名称是关于范围的顶级函数，因此不能重新定义或扩展。使它们成为完整的功能就像使 head 成为一体一样。