【发布时间】:2016-04-09 18:52:33
【问题描述】:
我想制作一个规范的列表:(string * int)列表,并且可以编辑元组。例如,假设
val gamma = [("a",20),("b",30),("c",40)] :(string*int) list
现在,如何将元组 ("b",30) 中的值 30 更改为 70。
【问题讨论】:
我想制作一个规范的列表:(string * int)列表,并且可以编辑元组。例如,假设
val gamma = [("a",20),("b",30),("c",40)] :(string*int) list
现在,如何将元组 ("b",30) 中的值 30 更改为 70。
【问题讨论】:
您需要map 覆盖列表并构建一个新元组:
let
fun change key value (k, v) =
if k = key
then (k, value)
else (k, v)
val list = [("a",20),("b",30),("c",40)]
in
List.map (change "b" 70) list
end
【讨论】: