Yesod中Template Haskell编译顺序问题及报错原因咨询

1. Haskell Template Haskell的执行顺序 #

Haskell的Template Haskell（TH）是严格按照代码书写顺序执行的，和Crystal那种全局预展开所有宏的机制差异很大。编译器在处理源代码时，会从上到下逐行解析，遇到TH表达式（比如Yesod的mkYesod）就会立即执行它，生成对应的Haskell代码并入当前代码流，之后才会继续处理后续的代码。这意味着：

• 前面的代码无法引用后面TH宏生成的内容
• 后面的代码可以正常使用前面TH宏生成的实例、函数等

2. 「缺少RenderRoute App实例」报错的根本原因 #

Yesod的mkYesod宏核心作用之一，就是为你的App类型自动生成路由相关的类型类实例，其中就包括RenderRoute App。而Yesod类型类的定义本身依赖于RenderRoute：

class RenderRoute site => Yesod site where
  -- 类方法定义

当你把instance Yesod App写在mkYesod之前时，编译器处理到这个实例声明时，mkYesod还没执行，RenderRoute App实例根本还没生成。此时编译器检查Yesod实例的约束条件，发现缺少依赖的RenderRoute实例，自然抛出编译错误。

把instance Yesod App移到mkYesod之后，编译器会先执行mkYesod生成所有必要的路由实例，再处理Yesod实例声明，此时依赖的RenderRoute App已经存在，编译就能顺利通过。

3. 与Crystal宏的差异对比 #

Crystal的宏是在整个程序完成解析后，一次性全局展开所有宏代码，宏的执行不依赖于代码书写顺序，所有宏生成的内容对整个代码可见。而Haskell的TH是“在线式”执行，完全跟着代码的书写顺序走，宏的执行结果只能影响后续的代码，无法被前面的代码引用。

内容的提问来源于stack exchange，提问作者wout