I/O 与进程🔗

本章覆盖 Lean 中与 I/O、进程、线程和并发相关的多个主题。Lean 对并发运行任务有很好的支持，并提供了强大的 API 来处理 I/O 操作。我们使用 IO 单子（monad）来执行这些操作。

在 Lean 中，理解进程、线程和任务之间的区别很重要。当你派生一个子进程时，Lean 给你一个指向该操作系统进程的句柄。当你派生一个内部计算时，Lean 给你一个 Task。因此 Task 不是操作系统层面可调度的实体。

配方：

1. 处理 Stdin/Stdout/Stderr 流
2. 解析命令行参数
3. 派生子进程
4. 派生任务与工作线程
5. 并行运行任务
6. 让进程休眠
7. 进程中断与空闲休眠
8. 进程的时间测量
9. 其他 I/O 操作