я начинаю с макросов scala, оникруто, но яЯ сталкиваюсь с разницей между типизированным (он же проверенный тип) и нетипизированнымTrees.

Например, вы можетет звонокc.eval с проверенным типом дерева по какой-то причине. Я могу'не могу найти документацию по этому вопросуtypechecked» в документации макросов Scala (я знаю, что онивсе еще работаем над этим, это может быть что-то, что должно быть добавлено когда-нибудь).

Что это значит дляTree быть проверенным? Почему они такие разные, что, очевидно, c.eval можетне иметь дело с проверкой типаTrees (обратное будет иметь больше смысла для меня).

Я думаю, что это, вероятно, компилятор 101, но я непринять этот курс :( Любое объяснение или указатель на статьи / документацию будет приветствоваться!