и он для контейнерных типов вызывает erts_cmp_compound который обходит рекурсивно: https://github.com/erlang/otp/blob/43240eaad84cc4dc839952d409e918c0b9bc83f8/erts/emulator/beam/utils.c#L3070-L3565

кстати, таки сравнивает поинтеры!

Привет!

Вопрос, о том, как работает comparison в Erlang-е. Допустим у меня есть [A, B, C] = ….(большая, вложенная структура на 3 мегабайта каждая переменная, т.е. лист размером в 10 мегабайт).

И делаю я примерно вот так:

test([A, B, C] = List) ->
  test(List, List).

test(OrigList, CurrentList) ->
  case ... of
    ... ->
      ToAdd = lists:filter(fun (Elem) -> 
        lists:member(Elem, OrigList)    
      end, CurrentList)
      test(OrigList, CurrentList ++ ToAdd)
  end

Т.е. удаляю что-то из рабочего листа, потом по условию - мне нужно добавить нехватающие элементы в конец этого листа. И тут вопрос - сравнение в lists:member - будет по поинтеру или он пойдёт вглубь структуру проверять?

короче да, выглядит так, что можно полагаться на то что сперва будут указатели сравниваться, а внутрь заглядываем только если не равны. lists:member тоже так поступает (и он вызывает eq, не cmp): https://github.com/erlang/otp/blob/8342a099cf94cef4de1c845841bbffd15ecac4a6/erts/emulator/beam/erl_bif_lists.c#L1073

Наткнулся на ограничение, что enif_get_atom умеет работать только с ERL_NIF_LATIN1. У erl_interface для этого есть вполне удобные ERL_ATOM_PTR и ERL_ATOM_PTR_UTF. А как получить внутри nif кто-нибудь вкурсе ?

Обычно запись делают через ген-сервер, а чтение из клиентского потока