mindmap
    id1[第一部分 函数式编程基础]
        id1-1[函数式编程概述]
        id1-2[函数式编程范式特征]
        id1-3[纯函数与副作用]
        id1-4[不可变数据结构]
        id1-5[引用透明性]
        id1-6[高阶函数与函数组合]
        id1-7[函数式编程语言分类]
        id1-8[核心概念与特性]
        id1-9[Lambda演算基础]
        id1-10[柯里化与部分应用]
        id1-11[模式匹配]
        id1-12[惰性求值与严格求值]
        id1-13[类型系统与类型推断]
        id1-14[代数数据类型]
        id1-15[主要函数式语言]
        id1-16[Haskell语言特性]
        id1-17[ML语言家族]
        id1-18[Scheme与Lisp]
        id1-19[Erlang与并发函数式编程]
        id1-20[Scala混合范式]
        id1-21[F#与OCaml]

mindmap
    id2[第二部分 函数式语言编译基础]
        id2-1[编译过程概述]
        id2-2[词法分析与语法分析]
        id2-3[语义分析与中间表示]
        id2-4[代码优化技术]
        id2-5[目标代码生成]
        id2-6[编译前端与后端]
        id2-7[函数式语言特有编译挑战]
        id2-8[高阶函数编译]
        id2-9[闭包实现机制]
        id2-10[尾递归优化]
        id2-11[惰性求值实现]
        id2-12[模式匹配编译]
        id2-13[类型推断算法]

mindmap
    id3[第三部分 中间表示与转换]
        id3-1[中间表示设计]
        id3-2[抽象语法树]
        id3-3[控制流图]
        id3-4[静态单赋值形式]
        id3-5[函数式中间语言]
        id3-6[图归约机模型]
        id3-7[核心转换技术]
        id3-8[Lambda提升]
        id3-9[闭包转换]
        id3-10[去糖化处理]
        id3-11[柯里化消除]
        id3-12[模式匹配编译算法]
        id3-13[惰性求值转换]

mindmap
    id4[第四部分 运行时系统]
        id4-1[内存管理]
        id4-2[垃圾回收算法]
        id4-3[引用计数与标记清除]
        id4-4[分代垃圾回收]
        id4-5[函数式语言特有GC优化]
        id4-6[不可变对象内存布局]
        id4-7[执行模型]
        id4-8[求值策略实现]
        id4-9[调用栈管理]
        id4-10[异常处理机制]
        id4-11[并发与并行支持]
        id4-12[软件事务内存]

mindmap
    id5[第五部分 优化技术]
        id5-1[函数级优化]
        id5-2[内联展开]
        id5-3[尾调用优化]
        id5-4[函数特化]
        id5-5[常量传播与折叠]
        id5-6[公共子表达式消除]
        id5-7[数据流优化]
        id5-8[严格性分析]
        id5-9[逃逸分析]
        id5-10[不可变对象优化]
        id5-11[循环优化技术]
        id5-12[内存访问优化]
        id5-13[高级优化]
        id5-14[超组合子编译]
        id5-15[完全惰性变换]
        id5-16[deforestation技术]
        id5-17[流融合优化]
        id5-18[部分求值与程序变换]

mindmap
    id6[第六部分 目标代码生成]
        id6-1[代码生成策略]
        id6-2[寄存器分配算法]
        id6-3[指令选择与调度]
        id6-4[调用约定设计]
        id6-5[栈帧布局优化]
        id6-6[异常处理代码生成]
        id6-7[特定平台优化]
        id6-8[x86架构优化]
        id6-9[ARM架构特性利用]
        id6-10[JVM字节码生成]
        id6-11[.NET IL代码生成]
        id6-12[WebAssembly目标]

mindmap
    id7[第七部分 现代发展与工具]
        id7-1[现代编译技术]
        id7-2[即时编译与AOT编译]
        id7-3[多阶段编译]
        id7-4[增量编译技术]
        id7-5[并行编译优化]
        id7-6[跨平台编译支持]
        id7-7[工具与生态系统]
        id7-8[构建系统集成]
        id7-9[包管理与依赖解析]
        id7-10[调试器与性能分析器]
        id7-11[形式验证工具]
        id7-12[编译器测试框架]

mindmap
    id8[第八部分 案例研究与实现]
        id8-1[经典编译器分析]
        id8-2[GHC编译器架构]
        id8-3[OCaml编译器实现]
        id8-4[Scheme编译器设计]
        id8-5[Scala编译器特性]
        id8-6[Erlang BEAM虚拟机]
        id8-7[实践项目指导]
        id8-8[小型函数式语言设计]
        id8-9[编译器前端实现]
        id8-10[中间表示构建]
        id8-11[优化器开发]
        id8-12[代码生成器编写]