系统设计与验证 (Lean)Lean 函数式编程Lean函数式编程 欢迎来到 Lean 的 Lean函数式编程 部分，在这一章节中，你将学到以下内容： Lean函数定义 Lean函数调用 Lean递归函数 Lean匿名函数 Lean高阶函数 Lean部分应用 Lean柯里化 Lean模式匹配 Lean尾递归优化 Lean纯函数 Lean 副作用处理 Lean懒求值 Lean函数组合 Lean函数重载 Have fun coding!