Lupino

欢迎道友来到第九章。 你能走到这里，说明你的道心已坚如磐石。在之前的境界中，你已经掌握了逻辑的组合、因果的传递以及无限的操控。但那大多还是在“值（Value）”的层面腾挪。 今日，我们要破开虚空，进入

欢迎道友来到第八章。 经过“炼虚期”对无限与惰性的感悟，你已经能够在那虚无缥缈的 Thunk 中捕捉真理。然而，一个人的修行终究是孤独的。想要炼制出震动九天的“绝世仙阵”（大型工程），你不能凡事都亲力

恭喜道友！你已步入第七章，踏入了修仙界最为玄妙、也最让凡间程序员百思不得其解的境界——炼虚期：惰性求值（Lazy Evaluation） 。 在之前的境界中，你学会了如何操控复杂的因果（Monad）和

欢迎道友来到第六章。 经历了第五章“元婴期”Monad 天劫的洗礼，想必你已经领悟了如何处理那些带着“因果气息”的盒子。然而，Monad 虽强，却有时显得过于沉重——每次都要“打开盒子、取出宝贝、重新

欢迎道友来到第五章。如果说之前的筑基与结丹只是对“术”的磨练，那么这一章，我们将正式迎来修仙路上最著名的天劫——元婴期：Monad（单子）悟道。 在 λ 门的传说中，有这样一句话：“Monad 是自函

恭喜道友！你已完成筑基，气海充盈，法宝熟练。现在，我们要迈入修仙路上的一个关键转折点——结丹期。 在这一章，你将领悟 Haskell 的**“天道授位”系统：Typeclasses（类型类）**。这决

欢迎来到第三章。在上一章中，你已经在“递归禁地”中历经磨难，学会了如何用灵魂的自我重叠来处理数据。 今天，我们要走出禁地，前往宗门的**“万宝阁”**。在这里，你将继承 λ 门传承万载的三件大威力法宝

欢迎来到第二章。在第一章中，你已经完成了“引气入体”，习惯了不可变的数据与严苛的类型。 现在，我们要进入 λ 门最著名的试炼之地——递归禁地（The Forbidden Grounds of Recu

欢迎来到λ门（Lambda Sect） 。既然你已决定踏上 Haskell 的修仙之路，便要做好“洗髓伐骨”的准备。 在这一章，我们将进行入门的第一步：测灵根与定心性。