PureScript Aff 项目教程-CSDN博客

本文链接：https://blog.csdn.net/gitblog_00273/article/details/141779393

PureScript Aff 项目教程

purescript-affAn asynchronous effect monad for PureScript项目地址:https://gitcode.com/gh_mirrors/pu/purescript-aff

项目介绍

PureScript Aff 是一个用于 PureScript 的异步效果单子（monad）和线程模型库。它提供了一种处理异步操作的方式，使得代码更加简洁和易于管理。Aff 是基于 Effect 构建的，可以处理异步任务，如网络请求、文件操作等，并且支持异常处理和取消操作。

项目快速启动

安装

首先，确保你已经安装了 PureScript 和 Spago。然后使用 Spago 安装 Aff：

spago install aff

快速示例

以下是一个简单的示例，展示了如何使用 Aff 进行异步操作：

import Prelude
import Effect (Effect)
import Effect.Aff (launchAff_)
import Effect.Class.Console (log)
import Aff.Ajax (get)

main :: Effect Unit
main = launchAff_ do
  response <- get "http://example.com"
  log response.body

在这个示例中，我们使用 get 函数进行一个 HTTP GET 请求，并在请求完成后打印响应内容。

应用案例和最佳实践

异步文件操作

Aff 可以用于处理文件操作，例如读取和写入文件：

import Prelude
import Effect (Effect)
import Effect.Aff (launchAff_)
import Effect.Class.Console (log)
import Node.FS.Aff (readFile, writeFile)
import Node.Path (FilePath)

main :: Effect Unit
main = launchAff_ do
  let filePath = "example.txt"
  content <- readFile filePath
  log content
  writeFile (filePath <> ".bak") content

异常处理

使用 attempt 函数可以捕获异步操作中的异常：

import Prelude
import Effect (Effect)
import Effect.Aff (launchAff_, attempt)
import Effect.Class.Console (log)
import Aff.Ajax (get)
import Data.Either (Either(..))

main :: Effect Unit
main = launchAff_ do
  result <- attempt $ get "http://example.com"
  case result of
    Left err -> log $ "Error: " <> show err
    Right response -> log response.body