使用fp-ts与TypeScript时遇None类型无value属性错误及后续问题

第一个错误：Property 'value' does not exist on type 'None' #

你对fp-ts的Option类型属性存在误解：

• Some<T>类型确实包含value属性用于存储值
• None类型没有value属性，仅通过_tag: "None"作为类型标识

虽然你用if (user._tag === "None")做了判断，但因为判断后没有终止后续逻辑（缺少return），TypeScript无法完成类型窄化——后续代码仍认为user可能是None类型，因此访问user.value会触发类型错误。

修复方案（原生判断方式） #

在None分支添加return，让TypeScript明确后续代码中user必然是Some<User>：

(user: Option<User>) => async () => {
    if (user._tag === "None") {
        next({ name: 'User verification failed.', message: 'User verification failed.', details: '' });
        return; // 关键：终止后续逻辑，触发类型窄化
    }

    // 此时TypeScript自动识别user为Some<User>，可安全访问value
    res.status(200).send({
        userId: user.value.userId,
        emailAddress: user.value.emailAddress,
        firstName: user.value.firstName,
        lastName: user.value.lastName
    });
}

第二个错误：Type 'void' is not assignable to type '() => Promise<void>' #

你用E.match结合O.match的思路是正确的，但E.match的两个分支要求返回类型一致（需为() => Promise<void>），而你的O.match直接返回了void，不符合类型约束。

修复方案（fp-ts风格写法） #

将O.match的两个分支都包装为返回Promise<void>的结构：

pipe(
    userId,
    interactorOperation,
    E.match(
        (error: ErrorBase) => async () => {
            next({ name: error.name, message: error.message, details: error.details });
        },
        async (userOpt: Option<User>) => {
            O.match(
                () => next({ name: 'User verification failed.', message: 'User verification failed.', details: '' }),
                (userObj: User) => {
                    res.status(200).send({
                        userId: userObj.userId,
                        emailAddress: userObj.emailAddress,
                        firstName: userObj.firstName,
                        lastName: userObj.lastName
                    });
                }
            )(userOpt);
        }
    )
)();

核心是保证E.match的两个分支返回值类型统一，均为异步函数或Promise结构。

额外建议 #

优先使用fp-ts提供的工具函数处理Option类型，避免手动判断_tag，既符合函数式编程风格，也能规避TypeScript类型窄化的潜在问题。

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