建模依赖计算任务及折叠结构，求Haskell与TypeScript可用库

最常用的递归方案库是recursion-schemes，它提供了标准的不动点类型Fix以及包括cata（折叠）在内的全套递归操作工具，完全匹配你需求中的场景。

示例代码 #

先在项目中添加recursion-schemes依赖，然后编写代码：

import Data.Functor.Foldable (Fix(..), cata)

-- 定义递归模式函子
data ComplexF a b next = FailF a | SuccessF b [next] deriving (Functor)
type Complex a b = Fix (ComplexF a b)

-- 实现折叠逻辑：将任务结构转为HTML字符串
taskToHtml :: Complex String String -> String
taskToHtml = cata alg
  where
    alg :: ComplexF String String String -> String
    alg (FailF err) = "<div class='fail'>任务失败：" ++ err ++ "</div>"
    alg (SuccessF name subtasks) = 
      "<div class='success'>任务成功：" ++ name ++ 
      "<div class='subtasks'>" ++ concat subtasks ++ "</div></div>"

额外说明 #

如果你不想重构原有的DepTask类型，也可以通过recursion-schemes提供的project和embed函数，在原有类型与Fix包装的类型之间转换，无需完全重写定义。

TypeScript生态中，fp-ts是最成熟的函数式编程库，它内置了递归方案的实现，包括Fix类型和cata折叠函数，能直接对应Haskell中的需求。

示例代码 #

先安装fp-ts依赖：

npm install fp-ts

然后编写代码：

import { Fix, cata } from 'fp-ts/Recursive';

// 定义递归模式函子
type ComplexF<A, B, Next> = 
  | { _tag: 'FailF', value: A }
  | { _tag: 'SuccessF', name: B, subtasks: Next[] };

// 定义不动点类型
type Complex<A, B> = Fix<ComplexF<A, B, unknown>>;

// 构造实例的辅助函数
const fail = <A, B>(value: A): Complex<A, B> => 
  Fix({ _tag: 'FailF', value } as ComplexF<A, B, Complex<A, B>>);

const success = <A, B>(name: B, subtasks: Complex<A, B>[]): Complex<A, B> => 
  Fix({ _tag: 'SuccessF', name, subtasks } as ComplexF<A, B, Complex<A, B>>);

// 实现折叠逻辑：转为HTML字符串
const taskToHtml = <A extends string, B extends string>(task: Complex<A, B>): string => 
  cata(task, (fa) => {
    switch (fa._tag) {
      case 'FailF':
        return `<div class='fail'>任务失败：${fa.value}</div>`;
      case 'SuccessF':
        return `<div class='success'>任务成功：${fa.name}<div class='subtasks'>${fa.subtasks.join('')}</div></div>`;
    }
  });

备选库 #

如果只需要纯粹的递归方案工具，也可以使用专门的ts-recursion-schemes库，但fp-ts的生态更完善，附带的其他函数式工具也能在后续开发中提供更多支持。

内容的提问来源于stack exchange，提问作者Annihilus