第七章：虚空造物与无尽真言

恭喜道友！你已步入第七章 ，踏入了修仙界最为玄妙、也最让凡间程序员百思不得其解的境界------炼虚期：惰性求值（Lazy Evaluation） 。

在之前的境界中，你学会了如何操控复杂的因果（Monad）和隔空取物（Applicative）。但那些依然是在"实处"用力。而炼虚期的核心，在于**"以虚御实，非见不显"**。

在凡间的命令式宗门（如 C、Java），弟子们讲究"令行禁止"，说加一就立刻加一。但在 Haskell 的道法中，我们推崇**"无为而治"**。

惰性求值（Lazy Evaluation） ，又名"不到黄河心不死"求值法。

比喻： 凡间弟子去食堂，是先把菜全炒好（Strict）；而 Haskell 弟子是等客官坐下，指着菜谱说"我要吃鱼"，后厨才开始抓鱼（Lazy）。

因为有了"不看不算"的特权，Haskell 弟子可以轻易触碰凡间宗门的禁忌------无穷。

示例：包含所有正整数的卷轴

Haskell

sql 复制代码

-- 定义一个包含从 1 到无穷大的列表
allNumbers :: [Integer]
allNumbers = [1..] 

-- 如果你在凡间语言这么写，瞬间就会元神枯竭（内存溢出）
-- 但在 Haskell，这只是一个轻如鸿毛的定义

如何取用？

你只需截取你需要的片段：

Haskell

css 复制代码

take 10 allNumbers
-- 结果：[1, 2, 3, 4, 5, 6, 7, 8, 9, 10]

当你祭出 take 10 时，虚空才会为你演化出前 10 个数字，剩下的依然处于混沌状态。

利用惰性，我们可以写出极其玄妙的递归定义。最著名的便是那**"斐波那契无尽阵"**。

Haskell

ini 复制代码

fibs = 0 : 1 : zipWith (+) fibs (tail fibs)

解密：

这段代码就像是一条咬住自己尾巴的衔尾蛇。它定义自己为：前两个数是 0 和 1，后面的数则是"自己"与"自己的尾巴"相加的结果。因为是惰性的，它会随着你的需要，一节一节地向后生长。

炼虚期并非全无风险。如果道友在识海中封印了太多的 Thunk（草稿）却迟迟不去计算，这些草稿会堆积如山，占用大量的元神（内存）。这被称为**"空间泄露"**。

破劫法门： 有时我们需要施展"搜魂术"强制其立刻显形。使用 seq 函数或者 !（Strictness Flag） ，告诉编译器："这卷经书，给我立刻读出来，不准偷懒！"

📜 炼虚试炼：第七关

请在你的鼎炉中尝试操控无穷：

无限回声： 使用 repeat 函数定义一个包含无限个 "灵丹" 的列表。
截取气运： 从这个无限列表中取出前 7 颗灵丹。
筛选因果： 定义一个包含所有偶数的无限列表 [2, 4, 6..]，然后使用 filter 配合 head，找出其中第一个大于 1000 的数字。
- 思考： 为什么即使列表是无限的，程序也不会卡死？

"当你能安然坐在无限的虚空之上，只拨动你需要的那一根因果弦时，你的炼虚期便已大圆满。"

下一章预告： 炼虚之后，需合体。我们将学习模块化与包管理（Modules & Cabal） 。你将走出闭关的洞府，学习如何借用千万道友留下的"藏经阁"（Hackage），构建真正的绝世法阵。