Изменить элемент в карте

Question

я определил несколько типов следующим образом:

module SMap = Map.Make(String) 

type s = 
    { t: int 
    fa: int list } 

type t = s SMap.t 

Я хотел бы написать функцию modify100 добавить в список fa для элемента, соответствующего key. Следующий код работает:

let modify (key: String) (x: t) = 
    let a = SMap.find key x in 
    SMap.add key { a with fa = a.fa @ [100] } (SMap.remove key x) 

Однако, удаление и добавление элемент выглядит излишним для меня ... Может ли сказать мне, если есть лучший способ непосредственно изменить его?

Answer 1

Да, вы можете просто добавить его.

Карта может содержать ключ только один раз, поэтому, если вы добавите другое сопоставление с этим ключом, оно удалит предыдущий.

http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.Make.html#VALadd