list - マップ内の要素を変更する

Question

次のようにいくつかのタイプを定義しました。

module SMap = Map.Make(String)

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

type t = s SMap.t

に対応する要素のリストmodifyに追加する関数を書きたいと思います。次のコードが機能します。100fakey

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)

ただし、要素の削除と追加は冗長に見えます...直接変更するより良い方法があるかどうか教えてください。

score 2 · Accepted Answer

はい、追加できます。

マップにはキーを 1 回しか含めることができないため、このキーを使用して別のマッピングを追加すると、前のマッピングが削除されます。

1 に答える 1