如何折叠两种不同的类型？ FP-TS

Question

我正在使用 FP-TS 学习 FP，但遇到了障碍：

我的存储库中有以下 function ：

// this is the repository
export const findBook = (id: string) => TaskEither<Error, Option<ParsedBook>> 

这部分很简单，对我来说很有意义。 问题是当我尝试从我的 controller 调用它时：

// this is the controller
export const getBook = (req: unknown) => Task<string | ParsedBook>

无论如何，这是我的getBook和我正在尝试做的事情：

const getBook: (req: unknown) => T.Task<string | ParsedBook> = flow(
  getBookByIdRequestV.decode, // returns Either<Errors, GetBookByIdRequest>
  E.fold(
    () => T.of('Bad request!'),
    flow(
      prop('params'),
      prop('id'),
      findBook, // returns TaskEither<Error, Option<ParsedBook>>
      TE.fold(
        () => T.of('Internal error.'),
        O.fold(
          () => T.of('Book not found.'),
          (book) => T.of(book) // this line results in an error
        )
      )
    )
  )
)

问题是上面的代码给了我一个错误：

Type 'ParsedBook' is not assignable to type 'string'

我认为问题在于E.fold期望onLeft和onRight的结果返回相同的类型：

fold<E, A, B>(onLeft: (e: E) => B, onRight: (a: A) => B): (ma: Either<E, A>) => B

但是，它可能不仅返回一个Task<string> ，还返回一个Task<ParsedBook> 。

我尝试使用foldW ，它扩大了类型，但也出现了同样的错误。

我真的不知道该怎么办； 我觉得我在代码中建模类型的方式很糟糕？

如果有帮助，这里是 Codesandbox： https://codesandbox.io/s/tender-chandrasekhar-5p2xm?file=/src/index.ts

谢谢！

Answer 1

很好，我正在尝试自己了解更多关于 FP 的信息。

我不确定我是否理解getBook应该做什么。 但我会保留它作为TaskEither的返回，因为它应该代表失败的可能性。

在使用 Functors/Monads 时，我认为它们就像一个盒子。 我想把我的价值观保存在盒子里。 如果你查看fold你会发现它列在析构函数下，那是因为它会破坏你的盒子。 所以避免fold ，如果必须的话，也许在计算结束时这样做。

但是，如果我们的价值观被困在一个盒子里，我们该怎么做呢？ map是我们在这里的第一个解决方案，因为我们可以采用一个作用于值的 function 现在作用于框。 但它使我们的价值观保持不变。

我们还可以将 Box 替换为TE.fromEither或TE.fromOption ，这样可以将我们的值保存在它的盒子内。

最后，我们可以chain以仅保留一个盒子。 每次map会给我们一个盒子中的盒子，我们可以将其更改为chain 。 但是盒子的类型必须对齐，否则你必须先转换它。

考虑到这些，我会这样写getBook ：

const getBook2: (req: unknown) => TE.TaskEither<string, ParsedBook> = flow(
  getBookByIdRequestV.decode,
  E.mapLeft(() => 'Bad request!'),
  E.map(({ params }) => params.id),
  TE.fromEither,
  TE.chain(flow(
    findBook,
    TE.mapLeft(() => 'internal error.')
  )),
  TE.chain(TE.fromOption(() => 'Book not found.'))
)

希望这会有所帮助，我仍在学习自己。 所以让我知道是否有更好的方法。

Answer 2

尝试使用foldW时出现的错误是因为Task<string> | Task<ParsedBook> Task<string> | Task<ParsedBook>不可分配给Task<string | ParsedBook> Task<string | ParsedBook> 。

您可以使用T.map和E.foldW代替，而不是使用T.of解开TaskEither ，然后使用TE.fold重新包装 Task 中的值：

import { identity } from "fp-ts/function";

T.map(E.foldW(
  () => "Internal error.",
  O.foldW(() => "Book not found.", identity)
))

事实上，使用O.getOrElseW有一个更简单的方法：

T.map(E.foldW(
  () => "Internal error.",
  O.getOrElseW(() => "Book not found.")
))

完整代码：

const getBook: (req: unknown) => T.Task<string | ParsedBook> = flow(
  getBookByIdRequestV.decode,
  E.fold(
    () => T.of("Bad request!"),
    flow(
      prop("params"),
      prop("id"),
      findBook,
      T.map(E.foldW(
        () => "Internal error.",
        O.getOrElseW(() => "Book not found.")
      ))
    )
  )
)