多解释器

Tagless Final 与代数式设计：类型类、DSL 与多解释器

深入 Tagless Final 编码：从具体解释器到抽象代数、F 代数与类型类约束、DSL 建模、多解释器（运行/测试/日志）、组合复用、与 Free Monad 的对比、与 Cats 纯函数式栈的配合、错误与副作用在代数中的表达，以及实践路线与取舍。