我了解如何在 Haskell 中使用记录语法，但我很难理解花括号 中的内容是什么。
data PairRecord = PR {foo::Int, bar::String} deriving (Eq,Show)
x = (PR {foo=1, bar="init"})
y= x {foo=23}
{foo=23} 是什么？最后一行看起来好像是
函数 x 的参数，显然不是这样。 {foo=23} 做任何其他事情，除了把它放在后面
一个记录？ do 符号那样对其进行脱糖？【问题讨论】：
标签： haskell
这种语法称为“记录更新”或“使用字段标签更新”，在Section 3.15.3 of the Haskell 2010 report 中进行了描述。可以脱糖。确切的规则在报告中给出。在您的示例中，x {foo = 23} 的脱糖是
case x of
PR f b -> PR 23 b
_ -> error "Update error"
请注意，该报告在section before, 3.15.2, on "Construction using field labels" 中描述的脱糖中使用了一个名为“pick”的辅助函数。
【讨论】：
{foo = ...} 语法只能用于记录的构造、模式匹配或更新，并且只能与其他组件结合使用。它没有孤立的意义。
通过查看类型：
:t PR
PR :: Int -> String -> PairRecord
所以这意味着你需要一个 Int 和一个 String 来构造一个 PairRecord。
现在，在 PairRecord 的定义中，您已经定义了访问器：
:t foo
foo :: PairRecord -> Int
为了使用 foo（作为访问器），您需要提供一个 PairRecord。你得到一个 Int 作为返回值：
foo y
23
这意味着单独的 foo 没有任何意义，这个函数需要一个 PairRecord。
正如 kosmikus 已经指出的那样，语法
y= x {foo=23}
从现有的 PairRecord 创建 y，整数设置为 23（在访问器函数的帮助下）。
【讨论】：
你需要的是lenses。但首先你必须安装包 lens。
【讨论】：