单子是函数式编程中的一种抽象，旨在一致地处理计算。它封装副作用，支持链式调用，确保计算在可预测的环境中进行。通过不可变值和映射函数，单子实现操作组合，保持函数的纯粹性。示例项目中，状态单子用于管理任务列表的状态，确保状态不可变且操作无副作用。