у тебя просто будет одновременно существовать две версии кода, но использоваться будет более старая

но этот механизм как-то связан со способом вызова функции: либо M, f, a либо просто f, a

Вызовы M.f(a) идут на новую версию модуля, а f(a) — на текущую

ты хочешь сказать, что приватная функция никогда не будет обновлена?

Разве f(a) вызовы возможны не только внутри модуля?

Не обязательно "приватная", это remote vs local calls

да я вот я ж туда и гляжу

да, спасибо. ключевое, я б сказал, вот это:
A local call, an unqualified call to a function within the same module, is guaranteed to go to the same version of the code as the caller.

Чтобы вызвать приватную функцию, надо сначала вызвать какую-нибудь публичную, т.е. всегда есть публичная точка входа. Если у тебя приватная функция просто возвращает какой-нибудь результат, то рано или поздно она выполнится, и следующий вызов будет уже у новой версии модуля (через публичную точку входа). А если у тебя какая-то приватная функция зациклена, то этот код будет выполняться, пока версию модуля не прибьёт в один прекрасный момент code server при загрузке третей версии кода ("If a third version of a module is loaded and there are still processes running (have pointers on the stack to) the code server will kill those processes and purge the old code").

а эликсир сам не преобразует вызов fa к mfa при компиляции? ну чтоб нам жить было проще

Из материалов выше должно было стать понятно, что это не сделает нашу жизнь легче

Т.е. если вы будете писать свои долгоживующие процессы руками (через spawn и приватный луп), то скорее всего наткнётесь на ситуацию, когда у вас не обновляется версия модуля. Поэтому надо пользоваться OTP-поведениями (:gen_server и т.д.) либо :sys + :proc_lib, если процесс не подходит под какое-нибудь из существующих поведений (см. пример).

Так они же не эквивалентны с точки зрения виртуальной машины. Кроме того, remote calls не могут быть заинлайнены.

Тут не согласен, будет использоваться новая.

соррян, писал в спешке, ты прав

перепроверил. ты прав

Нужно делать purge и ронять свои процессы до тех пор, пока ты не уверен что тебе этого не надо

Удваиваю