欢迎来到λ门（Lambda Sect） 。既然你已决定踏上 Haskell 的修仙之路，便要做好"洗髓伐骨"的准备。
在这一章，我们将进行入门的第一步：测灵根 与定心性。
在那被称为"命令式编程"的凡间，人们习惯于争夺资源、修改状态、在 if-else 的泥潭中挣扎。而入我 λ 门者，第一课便是： "万物皆静，唯理永恒。"
1.1 斩断凡尘：不可变之躯（Immutability）
在凡间语言中，你可能会写出 x = x + 1 这种有违天理的代码。在 Haskell 的法则下，这是绝对不允许的。
- 凡人心态： 变量是存钱罐，随时可以把里面的钱换掉。
- 修仙心态： 变量是刻在虚空中的碑文。一旦定义，直到这片宇宙（作用域）毁灭，它都不会改变。
心法口诀： 既然无法改变世界，那就创造一个包含改变后的新世界。
1.2 灵根测试：强类型系统（Type System）
在 λ 门，每个修仙者都有自己的"灵根"，即 Type（类型） 。GHC 编译器便是护法神兽，它会扫描你代码中每一丝气息，确保没有"属性冲突"。
| 灵根等级 | Haskell 类型 | 描述 |
|---|---|---|
| 下品灵根 | Int, Bool, Char |
基础属性，修仙者的根基。 |
| 中品灵根 | [a] (List) |
同类气息的聚合，可长可短，甚至无限。 |
| 上品灵根 | a -> b (Function) |
改变因果的力量，将一种存在转化为另一种。 |
| 极品灵根 | Maybe a, Either a b |
勘破虚实，处理"存在"与"不存在"的变数。 |
测试环节： 如果你试图将一个 String 的灵气注入到一个要求 Int 的阵法中，护法神兽 GHC 会瞬间降下"编译雷劫"，将你的妄想击碎。这看似严苛，实则是为了保你运行之时不至于"走火入魔"（Runtime Error）。
1.3 第一次吐纳：定义函数（Functions）
在 Haskell 中，你不需要写冗长的类（Class）或复杂的构造函数。你的第一招"引气入体"应该是纯粹的数学映射。
示例：计算灵力增幅
Haskell
sql
-- 定义灵力增幅函数：输入基础灵力，返回翻倍后的力量
powerBoost :: Integer -> Integer
powerBoost x = x * 2
-- 定义多段复合增幅
ultimateAttack :: Integer -> Integer
ultimateAttack x = powerBoost (powerBoost x)解析：
powerBoost :: Integer -> Integer是你的法术位声明 。它告诉天地：此法术只收Integer，也只出Integer。- 这里没有
return关键字。因为在 Haskell 里，函数的最后结果就是它的价值，不需要额外的言语。
🍃 课后小练：筑基试炼
现在的你，已经拥有了不可变的躯体和明确的灵根。尝试在你的 ghci 鼎炉中炼制以下小法术：
- 定义一个名为
isPowerful的法术，如果灵力大于 9000，则返回True。 - 尝试定义一个法术，将两个
String类型的道号连接在一起。
"当你习惯了在真理的约束下行走，你才会获得真正的自由。"
下一章预告： 我们将深入**"递归禁地"**，看看在没有循环的情况下，修仙者是如何处理无穷无尽的妖兽（数据）的。