-module(count).
-export([count/1]).

count(L) when is_list(L) ->
  do_count(L, #{});
count(_) ->
  error(badarg).

do_count([], Acc) -> Acc;
do_count([H|T], #{}) -> do_count(T, #{ H => 1 });
do_count([H|T], Acc = #{ H := C }) -> do_count(T, Acc#{ H := C + 1});
do_count([H|T], Acc) -> do_count(T, Acc#{ H => 1 }).

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

count.erl:11: variable 'H' is unbound    

Почему H не связан?

Это работает, кстати:

do_count([], Acc) -> Acc;
do_count([H|T], Acc) -> do_count(T, maps:update_with(H, fun(C) -> C + 1 end, 1, Acc)).

Но похоже, что образец соответствуетдолжен работать, а это не так.