javascript - 将Fluture与Ramda一起使用

Question

我当时使用Bluebird进行异步处理，但现在必须进行大量的空/空/错误检查，如果不想使用其他路由，我也不想这么做。我想使用monad，但尚未完全了解它。

我也希望它能与ramda的pipe / compose一起很好地播放，因为我的大多数其他代码都整齐地封装在功能管道中。根据many discussions的说法，与Promises相比，首选Monadic Futures(似乎建议使用Fluture)，并且在将来的版本中可能会删除对pipeP和composeP的支持。

Fluture似乎是一个不错的选择，因为它可以与遵循fantasy-land specs的库(如ramda)一起很好地运行。

但是，我完全迷失了如何实现将Ramda的管道与Fluture集成在一起的东西。我需要一些示例代码的帮助。

例如:

我有一个数据库调用，返回一个对象数组。该数组可以具有值，为空或未定义。我有一个功能管道，可以转换数据并将其返回到前端。

示例 promise 代码:

fancyDBCall1(constraints)
  .then(data => {
    if (!data || data.length === 0) {
      return []
    }
    return pipe(
    ...
    transformation functions
    ...
    )(data)
  })
  .then(res.ok)
  .catch(res.serverError) 

有人可以提出一些指导进行下一步工作的好方法吗？

Answer 1

你能做什么 ？

因此，什么时候可以使用您的代码。但首先，让我们谈谈Monads。

在此代码中，可以使用3种类型的Monad:

也许(数据库可能返回一些信息，或nothing)

任一(例如，如果某些数据验证失败)

Fluture(以替换 promise 。Fluture是与 promise 中的不同!)

也许是这样，也许不是!

让我们分解一下代码。我们要做的第一件事是确保 fancyDBCall1(constraints)返回 Maybe。这意味着它可能返回结果，或者什么都不返回。

但是，您的 fancyDBCall1是异步操作。这意味着它必须返回 Future。这里的窍门不是让它返回值的 future ，例如 Future <Array>使其返回 Future < Maybe Array >。

哇，听起来很复杂!

只是想像它而不是: Future.of('world');
您具有: Future.of( Maybe( 'world' ) );
还不错吧？

这样，您可以避免在代码中执行空检查!以下行将消失:

if (!data || data.length === 0) {
  return []
}

您的示例如下所示:

/*
 * Accepts <Maybe Array>.
 * Most ramda.js functions are FL compatible, so this function
 * would probably remain unchanged.
 **/
const tranform = pipe( .... ); 

// fancyDBCall1 returns `Future <Maybe Array>`
fancyDBCall1(constraints)
  .map( transform )
  .fork( always(res.serverError), always(res.ok) );

看看我们的代码看起来有多好？但是，等等，还有更多!

我们要么走得更远，要么我们不走!

因此，如果您一直在密切注意，您就会知道我想念一些东西。当然，我们现在正在处理空检查，但是如果 transform崩溃了怎么办？好吧，您将说“我们发送res.serverError”。

好的。这还算公平。但是，例如，如果 transform函数由于用户名无效而失败，该怎么办？

您会说您的服务器炸毁了，但事实并非如此。您的异步查询很好，但是我们得到的数据却不正确。这是我们可以预料的，这不像 meteor 撞击我们的服务器场一样，只是有些用户给我们发送了一封无效的电子邮件，我们需要告诉他!

这里的窍门是去改变我们的 transform函数:

/*
 * Accepts <Maybe Array>.
 * Returns <Maybe <Either String, Array> >
 **/
const tranform = pipe( .... ); 

哇，耶稣香蕉!这是什么黑魔法？

在这里，我们说我们的转换可能不返回任何东西，或者可能返回一个Either。这要么是字符串(左分支始终是error)，要么是值的数组(右分支总是正确的结果!)。

全部放在一起

所以，是的，这真是一次漫长的旅程，你不是说吗？为了给您一些具体的代码供您使用，这些结构的一些代码可能看起来像这样:

首先，我们开始使用 Future <Maybe Array>:

const { Future } = require("fluture");
const S = require("sanctuary");

const transform = S.map(
  S.pipe( [ S.trim, S.toUpper ] )
);

const queryResult = Future.of( 
  S.Just( ["  heello", "  world!"] ) 
);

//const queryResult2 = Future.of( S.Nothing );

const execute = 
  queryResult
    .map( S.map( transform ) )
    .fork(
      console.error,
      res => console.log( S.fromMaybe( [] ) ( res ) )
    );

您可以玩 queryResult和 queryResult2。这应该使您对Maybe monad可以做什么有所了解。

请注意，在这种情况下，我使用的是ramt的纯净版本 Sanctuary，因为它是Maybe类型，但是您可以使用任何Maybe类型库并对此感到满意，代码的想法是相同的。

现在，让我们添加Either。

首先，让我们关注我们的转换函数，我对其进行了一些修改:

const validateGreet = array =>
  array.includes("HELLO")       ?
  S.Right( array )    :
  S.Left( "Invalid Greeting!" );

// Receives an array, and returns Either <String, Array>
const transform = S.pipe( [
  S.map( S.pipe( [ S.trim, S.toUpper ] ) ),
  validateGreet
] );

到目前为止，一切都很好。如果数组满足条件，则返回带有数组的Either的右分支，而不是带有错误的左分支。

现在，让我们将其添加到前面的示例中，该示例将返回 Future <Maybe <Either <String, Array>>>。

const { Future } = require("fluture");
const S = require("sanctuary");

const validateGreet = array =>
  array.includes("HELLO")       ?
  S.Right( array )    :
  S.Left( "Invalid Greeting!" );

// Receives an array, and returns Either <String, Array>
const transform = S.pipe( [
  S.map( S.pipe( [ S.trim, S.toUpper ] ) ),
  validateGreet
] );

//Play with me!
const queryResult = Future.of( 
  S.Just( ["  heello", "  world!"] ) 
);

//Play with me!
//const queryResult = Future.of( S.Nothing );

const execute = 
  queryResult
    .map( S.map( transform ) )
    .fork(
      err => {
          console.error(`The end is near!: ${err}`);
          process.exit(1);
      },
      res => {
        // fromMaybe: https://sanctuary.js.org/#fromMaybe
        const maybeResult = S.fromMaybe( S.Right([]) ) (res);

        //https://sanctuary.js.org/#either
        S.either( console.error ) (  console.log ) ( maybeResult )
      }
    );

那么，这告诉我们什么呢？

如果遇到异常(未预料到的异常)，我们将打印 The end is near!: ${err}，然后干净地退出该应用程序。

如果数据库未返回任何内容，则输出 []。

如果数据库确实返回了某些内容并且该内容无效，则我们输出 "Invalid Greeting!"。

如果数据库返回了不错的东西，我们将其打印出来!

耶稣香蕉，这很多!

是的，是的。如果您从Maybe，Either和Flutures入手，则有很多概念需要学习，并且感到不知所措是正常的。

我个人不知道Ramda的任何良好且活跃的Maybe/Either库，(也许您可以尝试 Folktale的Maybe/Result类型？)，这就是为什么我使用了Sanctuary，它是Ramda的一个克隆，它更纯净并且集成得很好与Fluture。

但是，如果您需要从某个地方开始，则可以随时查看社区问题聊天并发布问题。阅读文档也有很大帮助。

希望能帮助到你!