在不分叉的情况下将路径列表转换为任务列表

Question

仍在学习 FP，但我觉得我终于开始了解 monad，特别是如何使用它们。所以这就是我所拥有的： /* taken from https://mostly-adequate.gitbooks.io/mostly-adequate-guide/content/ch08.html#asynchronous-tasks */import fs from 'fs'import { Task, } from './shared/functional.js';// readDir :: String -> Task Error (Array String)const readDir = path => new Task((reject, result) => {  fs.readdir(path, (err, data) => (err ? reject(err) : result(data)));});const readStat = filename => new Task((reject, result) => {  fs.stat(filename, (err, data) => (err ? reject(err) : result(data)));});console.log(readDir('./shared'))readDir('./shared').fork(console.error,console.log)使用上面的代码，我可以获得该特定目录中的内容数组。我有两个问题：我如何在不像下面那样显式组合目录的情况下连接目录。这样我就可以避免两次调用“./shared”。const dirList = compose(  chain(map(concat('./shared/')))),  readDir,);其次，是否可以映射字符串数组，然后在不分叉外部任务的情况下转入任务数组？我想获取数组中每个项目的统计信息。它不需要是一系列任务，但我想避免将它分叉两次。我想调用 readDir，无论结果如何，我都可能得到结果的统计信息，它可以是 ex 的一组统计信息。而不是我需要将其转换为任务的字符串数组。我得到的最远的是：const dirList = compose(  map(map(compose(readStat, concat('./shared/')))),  readDir,);有任何想法吗？

Answer 1

我想你在找

// readDir :: String -> Task Error (List String)

const readDir = path => new Task((reject, result) => {

  fs.readdir(path, (err, data) => (err ? reject(err) : result(new List(data))));

});

// readStat :: String -> Task Error Stats

const readStat = filepath => new Task((reject, result) => {

  fs.stat(filepath, (err, data) => (err ? reject(err) : result(data)));

});

// dirList :: String -> Task Error (List Stats)

const dirList = dir => chain(

  traverse(Task.of, compose(readStat, concat(dir))),

  readDir(dir),

);

dirList('./shared/').fork(console.log, console.error);

Answer 2

为了更清楚地展示它，下面的示例之所以有效，是因为我们得到了一个可遍历的 Maybe 。

const readFirst = path => compose(

  chain(traverse(Task.of, compose(readStat,concat(path)))),

  map(safeHead),

  compose(readDir, ()=>path),

);

const stats = maybe('nope', console.log)

readFirst('./shared/')().fork(console.error, stats)

在您的评论中，您试图遍历一个数组，该数组未实现该方法。我需要一种使数组可遍历的方法，然后我想我可以将执行捆绑在一起并在我分叉任务时返回统计列表。