W Julia, czy makro może uzyskać dostęp do wywnioskowanego typu jego argumentów?

Question

Czy w Julii istnieje możliwość napisania makra rozgałęziającego się w oparciu o typ argumentów (kompilacji), przynajmniej dla argumentów, których typy można wywnioskować w czasie kompilacji? Podobnie jak w poniższym przykładzie, utworzyłem funkcję o nazwie code_type, która zwraca typ kompilacji x. Czy istnieje jakakolwiek taka funkcja lub jakikolwiek sposób na wytworzenie tego rodzaju zachowania? (Albo czy makra rozszerzył się przed typy wywnioskować, tak że tego typu rzeczy jest niemożliwe.)

macro report_int(x) 
    code_type(x) == Int64 ? "it's an int" : "not an int" 
end 

Answer 1

Makra nie może tego zrobić, ale generowane funkcje.

Sprawdź docs tutaj: http://julia.readthedocs.org/en/latest/manual/metaprogramming/#generated-functions

Answer 2

Oprócz odpowiedzi spencerlyon2, w innym rozwiązaniem jest po prostu generuje wyraźne oddziały:

macro report_int(x) 
    :(isa(x,Int64) ? "it's an int" : "not an int") 
end 

Jeśli @report_int(x) stosowany jest wewnątrz funkcji, a typ x można wywnioskować, wtedy JIT będzie mógł zoptymalizować martwą gałąź (to podejście jest używane przez @evalpoly macro w standardowej bibliotece).