如何使用任务单子？ (fp-ts)

Question

import * as T from 'fp-ts/lib/Task'
import { pipe, flow } from 'fp-ts/lib/function'

const getHello: T.Task<string> = () => new Promise((resolve) => {
  resolve('hello')
})

我了解Task的目的以及为什么它很重要。 问题是我不知道如何正确使用它或用它作曲，真的。

如果我只是调用getHello() ，它会给我Promise<pending> ：

console.log(getHello()) // returns Promise<pending>

但是，如果我这样做：

const run = async () => {
  const hello = await getHello()
  console.log(hello) // prints 'hello'
}

有用。

但是这个：

const waitAndGet = async () => {
  return await getHello()
}

console.log(waitAndGet()) // prints Promise<pending>

没有。

此外，我怎么能用它作曲？ 像这样：

const getHelloAndAddWorld = flow(
  getHello(),
  addAtEnd('world')
)

Answer 1

首先，让我们了解一下Task到底是什么。

export interface Task<A> {
  (): Promise<A>
}

// note that this could also be written as
export type Task<A> = () => Promise<A>

Task只是一个返回 Promise 的Promise ，因此在您的示例中调用getHello将返回一个Promise<string> 。

console.log(getHello())与console.log(Promise.resolve('hello'))相同，所以这就是为什么它会记录类似Promise {<fulfilled>: "hello"} , Promise<pending> , 或其他东西而不是hello ：

 // Promise.resolve(foo) is the same as new Promise(resolve => resolve(foo)) const getHello = () => Promise.resolve('hello') console.log(getHello())

有关 Promises 的更多信息，我建议阅读在 MDN 上使用 Promises 。

---

至于如何使用它，由于Task是Monad ，您可以使用map 、 ap 、chain 、 apSecond等。

例如，假设addAtEnd定义如下：

const addAtEnd = (b: string) => (a: string): string => a + b

您可以通过使用Task.map将其与getHello()一起使用：

import * as T from 'fp-ts/Task'
import { pipe } from 'fp-ts/function'

// type of map:
// export declare const map: <A, B>(f: (a: A) => B) => (fa: Task<A>) => Task<B>

// Task<string> which, when called, would resolve to 'hello world'
const getHelloAndAddWorld = pipe(
  getHello,
  T.map(addAtEnd(' world'))
)

// same as
const getHelloAndAddWorld = T.map(addAtEnd(' world'))(getHello)

或者，如果你想记录它的值，你可以使用chainIOK和Console.log ：

import * as Console from 'fp-ts/Console'

// type of T.chainIOK:
// export declare function chainIOK<A, B>(f: (a: A) => IO<B>): (ma: Task<A>) => Task<B>

// type of Console.log:
// export declare function log(s: unknown): IO<void>

// Note that IO<A> is a function that (usually) does a side-effect and returns A
// (() => A)

// Task<void>
const logHelloAndWorld = pipe(
  getHelloAndAddWorld,
  T.chainIOK(Console.log)
)

// same as
const logHelloAndWorld = pipe(
  getHello,
  T.map(addAtEnd(' world')),
  T.chainIOK(Console.log)
)

要执行Task ，只需调用它：

logHelloAndWorld() // logs 'hello world'

对于函子、应用程序和单子的简单介绍，Adit 的“图片中的函子、应用程序和单子”或Tze-Hsiang Lin 的 JavaScript 版本是一些很好的起点。