创建IO操作

IO类型非常简单，就是这样

public struct IO<A> {

    /// The IO action to perform.
    let action: () -> A

    /// Initialize an IO object with a closure that contains an IO action.
    public init(_ action: () -> A) {
        self.action = action
    }
}

可以将IO操作（警告：过于简化）分为两大类 - 读操作和写操作。读操作的例子可以是获取标准输入的一行。在Swift中，您可以使用readLine()函数来完成这项任务，该函数返回一个String?。我们可以将其转换为IO操作（我们现在简单地将它强制转换为一个非可选的String）

let ioReadLine: IO<String> = IO { readLine()! }

现在让我们创建一个写操作。我们将print一些到标准输出去

let hello: IO<()> = { print("Hello world!") }

hello没问题，但它只会打印一个东西。让我们将其推广为一个函数，该函数接受一个String作为输入，并返回一个将打印该String的IO操作

let ioPrint: String -> IO<()> = { s in IO { print(s) } }

现在我们可以通过给ioPrint输入String来创建IO<()>操作

let startTheRumpus = ioPrint("Let the wild rumpus start!")

组合IO操作

IO操作是可组合的。可以从小额开始构建大量的东西。有两种操作用于组合IO操作，=>>和->>。

第一个是=>>，发音为bind，它在Haskell中等同于>>=操作符。这里是其定义

public func =>> <A, B> (ioa: IO<A>, f: A -> IO<B>) -> IO<B>

它接受一个IO和一个类型为A -> IO的函数，返回一个IO。让我们使用它来结合ioReadLine（一个IO）和ioPrint（一个类型为String -> IO<()>的函数）

let echo: IO<()> = ioReadLine =>> ioPrint

let echo: IO<()> = ioReadLine =>> { x in ioPrint(x) }

let echo: IO<()> = ioReadLine =>> { x in ioPrint(x.uppercaseString) }

let betterEcho: IO<()> = ioPrint("Please enter some text:") ->> echo

// This defines our main function:
let main: IO<Main> = ioReadLine =>> ioPrint =>> exit

// Execute the main function:
<=main