сделать копию карты с новыми элементами, вставленными в F # - PullRequest
0 голосов
/ 21 января 2020

если у меня есть запись:

let r = { a = 1; b = 2 }

Я могу сделать:

let r2 = { r with b = 3 }

но есть ли эквивалент с Картами?

как:

let m = Map ["a", 1; "b", 2]

позволил бы мне сделать:

let m2 = m with ["a", 3]

Какой самый F # -i sh способ достичь этого?

1 Ответ

2 голосов
/ 21 января 2020

Map.add заменяет ключ, если он уже существует:

let m2 = Map.add "a" 3 m
...