Monad（单子）是函数式编程中的一种设计模式，用于将计算步骤封装在具有上下文的结构中，以支持链式操作、副作用隔离和异步流程控制。常见类型包括(Option/Maybe)、(Either)、(IO)、(List)等，通常通过(map)、(flatMap/bind)和(unit/return)等函数进行操作。
