Scalaz和spray中如何处理多个IO点

Question

REST 调用使用 spray.io。它使用各种函数验证该调用中的请求，包括查询数据存储的中间函数。如果一切正常，那么它将写入所述数据存储。在这种情况下，最多有 4 个 IO 操作：HTTP 请求、数据读取、数据写入和 HTTP 响应。如果我决定使用 IO monad，我将如何构造执行 IO，因为我有一些可能需要也可能不需要（即，如果某些验证失败，则可能不需要进行读写操作）穿插非 IO 函数？大概，首先我可以先忽略喷涂的东西，并将评估视为在喷涂完成后开始。但是如何将 IO 函数与非 IO 函数组合起来呢？我是否必须将非 io 的东西提升到 io monad 中？

Answer 1

简短的回答是期货。为了不阻塞你的 IO 操作应该返回你映射到其他期货的期货。在 Spray 中，您可以使用 Future 完成请求。