ну так сама BEAM не поймет как его вызвать, нужен компилятор эликсира, поэтому дается подсказка через require

Elixir зато прекрасно вовремя компиляции это понимает - и ему подсказка не нужна.

** (CompileError) iex:3: you must require Unless before invoking the macro Unless.macro_unless/2

Т.е. он прекрасно без require-я знает, что нужно делать. Если бы он не знал и ему нужна бы была подсказка - он сказал бы - такой функции не существует.

а как он поймет что ему нужно подставить результат работы макроса в аст или получить результат выполнения? в данном случае он получает результат выполнения макроса, видит что там AST и валит ошибку. Автоматически разруливать такие ситиации это Rails-way, потом не разберешь, почему оно скомпилировалось и не работает

Он вызывает её как функцию и видит, что такой функции нет и потом смотрит - еесть ли такой макрос и говорит - есть такой макрос, но Вы забыли require.

Т.е. он прекрасно знает - фукнция это или макрос.

А попробуй скомпилировать модуль, который имеет и функцию и макрос с одним и тем же именем, то получишь:


** (CompileError) iex:14: def macro_unless/2 already defined as defmacro in iex:8
   iex:14: (module)

Так что он не видит, AST там или нет - а видит по тому, как определено в модуле - функция это или макрос. И ему никакой require не нужен, чтобы отделить одно от другого.

ну а если ты свой макрос if сделаешь, как быть?

А что меняется?

Вообще ничего

мб просто, чтобы ничего не вставлять в АSТ, если вызовов не было

Раньше - в более ранних версиях Elixir-а (5-6 летней давности) require нужен был, чтобы указать какой модуль скомпилировать, прежде чем вызывать функции из него - т.е. компилятор не был таким умным и просто крешился, когда вызывал функции из одного файла вовремя компиляции.

Лет 6 тому назад я использовал require - чтобы указать - для выполнения этого кода - нужен скомпилированный модуль X. После того, как компилятор научился сам зависимости находить - require остался как explicit-ное указание откуда брать макросы... Но я не вижу никаких препятсвий в том, что и без require-а он разрулит макросы где и как нужно сам.

А он же и так ничего не вставляет в AST если не вызывается - макрос - это функция, которая выполняется в compile-time и на вход и выход получает AST.

вот нашел такое объяснение: https://stackoverflow.com/questions/48179430/can-i-require-logger-in-all-modules-automatically

Ну, это не объясняет ничего. Пока ты не вызываешь Logger.some_macro - в модуле этого нет.

с разным log-level либо вызывается и будет noop везде для debug в проде, либо вообще нет ничего. И метаданные номер строки вызова получить

Да, но это всё compile мог бы сделать и без require 🙂

Это объясняет - как это сейчас работает, а не почему это так.