docs: proofread chap 2.1

[makabaka1880]

Changes & Justification

• Line 26: 运行 (-Lean) (+ 一个 Lean) | missing article
• Line 66: C (-语言传统) (+ 系语言) 中 | inaccurate nomenclature
• Line 67: 表示没什么 (+ 有意义的) 参数或返回值 | source is "lack of interesting arguments or return values"
• Line 105: Lean 编译器 (-当然) (+ 确实) 会读取文件 | concession is not idiomatic in zh-CN
• Line 106: -对于一门总是产生相同结果的语言，又该如何编写程序去读取磁盘上随时可能发生变化的文件呢？ -> +一个执行结果永远恒定的语言，怎么可能支持去读取磁盘上内容动态变化的文件？ | better structure
• Line 117: 这种 (-明显) (+ 表面上) 的矛盾 | refine for better semantic accuracy
• Line 120: 他 (-真的) (+ 特别) 不喜欢与外界接触 | concession tone adjustment
• Line 121: 厨师需要安静 (+ 的工作环境 —— 他) (-,) 不能被打扰交谈 | optimize phrasing and context
• Line 124: 有疑问 (-,) (+ () 例如澄清过敏 (+ ))，他们会给……发一张小纸条 (+ 。) (-,) | fix punctuation and parentheses formatting
• Line 135: (+ 每) 当收到订单时，厨师 (-忠实而一致地提供) (+ 总会严格按照要求，分毫不差地呈上) 所需的 (-东西) (+ 菜品) | stylistic polish for the chef analogy
• Line 138: 明治一样 -> 如同主厨一样，Lean (+ 对于副作用支持的) 缺乏 (+ 副作用) 反而…… | fix name translation error and clarify the object of lack
• Line 139: (+ 这种分离) (+ 它) 还有助于程序员理解 | clarify the subject reference
• Line 140: 通过 (+ 对) (-评估) Lean 表达式 (+ 求值) 产生的 | terminology standardization
• Line 150: (-行时) (+ 运行时) 系统中的 (+ 底层内建函数/) 原语（Primitive | fix runtime translation and supplement engineering meaning
• Line 174: 每个 (-原语) (+ 底层) {moduleTerm}IO (-活动) (+ 操作) …… 且 (-它们只能与保持此不变性的工具结合使用) (+ 只要组合它们的工具都能维持这一不变性)，那么问题就 (-不会发生) (+ 不复存在) | standardize Monad terminology and remove translationese
• Line 183 (1): (-可以实现一个) 此模型的 (+ 一个) 变体 (+ 可以被实现) | lack of subject
• Line 183 (2): 传递给 {moduleTerm}IO 原语，(-然后将此标识将会被) (+ 之后它们的返回标识同样地) 传递到下一步 | optimize logical structure and word order
• Line 226: （(-使用) (+ 由) {kw}let 引入）| should be passive voice
• Line 228: {anchorName all}IO (-活动通过按顺序执行语句来执行) (+ 操作将按顺序逐行执行) | remove redundant phrasing
• Line 238: -则与程序交互的会话会读取回 -> +则一次与程序交互的过程会是如下的样子 | more idiomatic description of interactive sessions
• Line 256: 结尾，(-这会启动一系列命令) (+ 从而开启后续的命令序列) | stylistic polish
• Line 261: 前两行 (-，读取：) (+ 的内容如下：) | remove literal translation traces
• Line 277: (+ 这段代码) 通过 | supplement subject reference
• Line 284: 设计为 {moduleTerm (anchor := sig)}IO 操作 (-，以便允许在程序中局部覆盖……这很方便) (+ ，是为了方便在程序中局部覆盖……) | optimize causal clause structure
• Line 285: 如果它们像 C 语言中的全局变量那样，(-那么就不存在有意义的方法来覆盖它们，但 {moduleName}IO 活动每次执行时都可以返回不同的值) (+ 那就无法以一种有意义的方式去覆盖它们；而 {moduleName}IO 操作每次执行时，都可以返回不同的值) | standardize terminology and smooth out the transition