../

// 从Hello World到IO Monad
#import "/template.typ":doc-template

#doc-template(
title: "从Hello World到IO Monad",
date: "2025年3月28日",
body: [

#set heading(numbering: none)

这是一段平平无奇的Python代码：

```
def main():
    x = input()
    y = input()
    print(x + y)

main()
```

这段代码的主要作用是输出“Hello World”。

第一步：输入“Hello”：

```
hello
```

第二步：输入“ World”：

```
hello
    world
```

最后按下回车，第三步就会得到：

```
hello world
```

如果接触过一些异步编程的话，我们会注意到，input是一个I/O操作，如果想要高效执行I/O，往往需要做异步的I/O。

在a

...