Haskell 第零章：引言

一门学科发展的过程，与其被“实现”的顺序往往不同。数学中，通过 zfc 公理体系构造出实数的过程严谨但繁琐，可在实数被定义之前人们就在使用微积分，而早在毕达哥拉斯时代就有人发现了无理数的存在。根据学科发展的历史编写教材可能是最符合人类直觉的，但是不见得是最本质的，可是从公理开始自底向上地搭建又会因为一开始过度地抽象导致晦涩难懂。

在我根据教材学习 haskell 的过程中，有部分地方埋下了伏笔但是在很后期才进行解释，我学的云里雾里；而在后期补上前期的洞时，不对前期内容进行二次思考的情况下，之前对函数式思维了解较少的同学很难抓到这个语言整体的轮廓。因此在期中考试后，我思考我是否能以一种比教材更线性的方式呈现这半个学期的过程，决定编写一篇我对原教材的批注，并且改变部分章节的顺序。

笔者的学习方式是如此：在每一章学习后，粗略地重读之前的章节，然后记下自己对这一章的疑问，即使是解决了的也可以记下。没有解决的疑问可以询问老师或助教，但是爱自己思考的也可以自己多想或是学到之后的章节再解决。对笔者来说，头脑风暴式的思考是学习最有趣也最有效的方式。

笔者之前没有编写批注的经验，如果对内容有疑问，可以在评论区交流；由于春季学期没有计算概论课程，并且 2026-27 学期的计算概论 haskell 部分在落笔时已经结束，文章更新速度并不会很积极，但是本人会尽量保证不烂尾。或许有机会的话笔者还可能尝试做这门课的助教。子曰：温故而知新，可以为师矣。我在整理该系列时，对这门语言也有了新的理解，希望能将我自己的理解以一种温和的方式呈现给更多人！

Yr2X.

提纲
公理与函数式思维
初见 haskell
类簇与常见类簇
List 上的函数
monad 与 foldable
io monad 与 monadic parser
lambda calculus，范畴论