DS
assertImpl - это и есть макрос
Size: a a a
2020 April 28
p
assertImpl - это и есть макрос
def это объявление макроса?
AZ
Т-34 85
И как, им это понравилось?
да
DS
def это объявление макроса?
def - это обьявление функции
AZ
Т-34 85
@Psilon макросы нужны в шарпе?
ну я обхожусь апи компилятора, это те макросы которые доге рекламировал - типизированные с аст
DS
макрос в скале - это обычная функция
DS
Которая вызвается в компайлтайме через использование '{ } и ${ } в inline фукнциях
p
макрос в скале - это обычная функция
ну я и сказал, макрос это вызов функции в рантайме обычный, на вход которому подают АСТ
DS
ну я и сказал, макрос это вызов функции в рантайме обычный, на вход которому подают АСТ
Не в рантайме
DS
В компайл тайме
p
Не в рантайме
то есть это if($expr) проверяет выражение в компайл тайме?
DS
то есть это if($expr) проверяет выражение в компайл тайме?
Нет, смотри как оно работает:
1. У тебя есть inline def assert(...) - это функция работает и раскрывается целиком в компайл тайме.
2. У неё в теле есть ${ assertImpl('expr) }, это запись значит: в компайл тайме всунуть сюда тот Expr[Unit], что вёрнет assertImpl. А 'expr - значит в компайл тайме разобрать expr и перевести его в Expr[Unit]
3. Тело assertImpl - это функция из Expr[Boolean] в Expr[Unit],
'{ ... } - значит, представь, что внутри скобок как Expr, $expr - значит вставь в этот Expr, дерево expr как оно есть.
1. У тебя есть inline def assert(...) - это функция работает и раскрывается целиком в компайл тайме.
2. У неё в теле есть ${ assertImpl('expr) }, это запись значит: в компайл тайме всунуть сюда тот Expr[Unit], что вёрнет assertImpl. А 'expr - значит в компайл тайме разобрать expr и перевести его в Expr[Unit]
3. Тело assertImpl - это функция из Expr[Boolean] в Expr[Unit],
'{ ... } - значит, представь, что внутри скобок как Expr, $expr - значит вставь в этот Expr, дерево expr как оно есть.
p
понял, круто
DS
то есть это if($expr) проверяет выражение в компайл тайме?
А вообще прочитай то, что по ссылке написано, оно там лучше описано, чем я это сейчас делаю:
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html#macros-quotes-and-splices
Прям вот эти первые абзацы
https://dotty.epfl.ch/docs/reference/metaprogramming/macros.html#macros-quotes-and-splices
Прям вот эти первые абзацы
DS
Там про квотирование и сплайсинг (syn и quote работают точно так же, если что)
p
Нет, смотри как оно работает:
1. У тебя есть inline def assert(...) - это функция работает и раскрывается целиком в компайл тайме.
2. У неё в теле есть ${ assertImpl('expr) }, это запись значит: в компайл тайме всунуть сюда тот Expr[Unit], что вёрнет assertImpl. А 'expr - значит в компайл тайме разобрать expr и перевести его в Expr[Unit]
3. Тело assertImpl - это функция из Expr[Boolean] в Expr[Unit],
'{ ... } - значит, представь, что внутри скобок как Expr, $expr - значит вставь в этот Expr, дерево expr как оно есть.
1. У тебя есть inline def assert(...) - это функция работает и раскрывается целиком в компайл тайме.
2. У неё в теле есть ${ assertImpl('expr) }, это запись значит: в компайл тайме всунуть сюда тот Expr[Unit], что вёрнет assertImpl. А 'expr - значит в компайл тайме разобрать expr и перевести его в Expr[Unit]
3. Тело assertImpl - это функция из Expr[Boolean] в Expr[Unit],
'{ ... } - значит, представь, что внутри скобок как Expr, $expr - значит вставь в этот Expr, дерево expr как оно есть.
хм, ну это же просто
macro_rules! assert {
($e:expr) => { if !$expr { println!("Err") } }
}
Не?
macro_rules! assert {
($e:expr) => { if !$expr { println!("Err") } }
}
Не?
DS
хм, ну это же просто
macro_rules! assert {
($e:expr) => { if !$expr { println!("Err") } }
}
Не?
macro_rules! assert {
($e:expr) => { if !$expr { println!("Err") } }
}
Не?
Тот пример - да.
Только в отличие от macro_rules он не сводит IDE с ума. Но можно делать более веселые вещи, с разбором деревьев, доставанием из них типов и полноценной работы с ними.
Только в отличие от macro_rules он не сводит IDE с ума. Но можно делать более веселые вещи, с разбором деревьев, доставанием из них типов и полноценной работы с ними.
p
Тот пример - да.
Только в отличие от macro_rules он не сводит IDE с ума. Но можно делать более веселые вещи, с разбором деревьев, доставанием из них типов и полноценной работы с ними.
Только в отличие от macro_rules он не сводит IDE с ума. Но можно делать более веселые вещи, с разбором деревьев, доставанием из них типов и полноценной работы с ними.
а как если все внутри '{} возвращается как поток токенов?
DS
а как если все внутри '{} возвращается как поток токенов?
Не поток токенов, а дерево выражений языка.
S
а nix хорош!