Estou começando com as macros scala, elas são incríveis, mas estou enfrentando a diferença entre digitado (também conhecido como digitado) e não digitadoTrees.

Por exemplo, você não pode ligarc.eval por uma árvore com verificação de tipo por algum motivo. Não consigo encontrar documentação sobre esse 'tipo de verificação' na documentação das macros do scala (eu sei que eles ainda estão trabalhando nisso, isso pode ser algo que precisa ser adicionado algum dia).

O que isso significa para umTree ser checado? Por que eles são tão diferentes que aparentemente c.eval não consegue lidar comTrees (o inverso faria mais sentido para mim).

Eu acho que esse provavelmente é o compilador 101, mas eu não fiz esse curso :( Qualquer explicação ou ponteiro para artigos / documentação seria apreciada!