poohbar
12/07/2018, 2:15 AMShawn
12/07/2018, 2:17 AMmap[key] = map.getOrPut(key) { 0 }.inc()
poohbar
12/07/2018, 2:32 AM.withDefault()
when creating the map and then just
map[key] = map[key] + 1
karelpeeters
12/07/2018, 6:52 AM.getValue()
then, right?