我开始使用scala宏,它们很棒,但我遇到了typed(又是typechecked)和无类型Trees 之间的区别.
例如,c.eval由于某种原因,您无法使用类型检查的树进行调用.我在scala宏文档中找不到关于这个'typechecked'的文档(我知道他们仍然在努力,这可能是某些事情需要在某天添加).
对于一个Tree被类型检查来说意味着什么？为什么它们如此不同以至于显然c.eval无法处理类型检测Tree(反之则对我更有意义).
我想这可能是编译器101,但我没有采取这个过程:(任何解释或指向文章/文件的指针将不胜感激!