启用check-js的JS项目中fp-ts/function类型声明缺失求助

针对你遇到的Cannot find module 'fp-ts/function' or its corresponding type declarations报错，结合fp-ts的已知兼容性问题，提供以下几种可行的解决办法：

1. 降级TypeScript版本到4.6.x #

TypeScript 4.7引入的NodeNext模块解析逻辑和fp-ts v2的类型声明结构存在兼容性冲突。降级到4.6.x版本可以直接规避这个问题：

npm install typescript@~4.6.4 --save-dev

同时调整tsconfig.json中的module配置为ESNext（保持ESM风格）：

{
  "compilerOptions": {
    "module": "ESNext",
    // 其他配置不变
  }
}

2. 手动补充模块类型声明 #

在项目根目录创建一个类型声明文件（比如fp-ts-fix.d.ts），手动映射缺失的子模块路径：

declare module 'fp-ts/function' {
  export * from 'fp-ts/lib/function';
}
declare module 'fp-ts/Option' {
  export * from 'fp-ts/lib/Option';
}
// 按需添加你需要的其他fp-ts子模块

然后确保该文件被tsconfig.json的include字段覆盖：

{
  "include": [
    "./src/**/*",
    "./*.d.ts"
  ]
}

3. 改用整体导入方式 #

暂时放弃子模块导入，通过整体导入后解构的方式使用，这种方式能正常获取类型：

import * as fp from 'fp-ts';
const { flow } = fp.function;
const { some, none } = fp.Option;

4. 尝试fp-ts v3测试版 #

fp-ts v3重构了模块系统和类型声明，对ESM和TypeScript新特性的支持更完善，虽然目前是测试版，但可以尝试升级：

npm install fp-ts@next --save-dev

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