小编yur*_*rii的帖子

Erlang - 合并地图

我试图弄清楚如何以maps允许我使用相同键处理元素的方式合并两个.

例如,合并

#{"Ala" => 1,"kota" => 3}

#{"kota" => 4}

应该导致:

#{"Ala" => 1,"kota" => 7}

erlang maps

1
推荐指数
1
解决办法
395
查看次数

标签 统计

erlang ×1

maps ×1