嵌套记录上的纯脚本匿名函数参数?
purescript anonymous function arguments on nested records?
是否可以通过以下方式将匿名函数参数应用于嵌套记录?
type UName = {fname :: String, lname :: String}
type XName = { xname :: UName, addr :: String}
updateU = _ { xname : { fname : _ } } -- not ok
-- or
updateU = _ { xname.fname = _ } -- not ok
-- or
updateU = _ { xname : fname = _ } } -- not ok
以上试验表明上下文无效。目标是实现:
updateU = \x -> { xname : { fname : x } }
最短的版本使用 nested record updates 如下所示:
updateU :: XName -> String -> XName
updateU = _ { xname { fname = _ } }
是否可以通过以下方式将匿名函数参数应用于嵌套记录?
type UName = {fname :: String, lname :: String}
type XName = { xname :: UName, addr :: String}
updateU = _ { xname : { fname : _ } } -- not ok
-- or
updateU = _ { xname.fname = _ } -- not ok
-- or
updateU = _ { xname : fname = _ } } -- not ok
以上试验表明上下文无效。目标是实现:
updateU = \x -> { xname : { fname : x } }
最短的版本使用 nested record updates 如下所示:
updateU :: XName -> String -> XName
updateU = _ { xname { fname = _ } }