在联合类型上使用属性

Question

在下面的代码中，我试图了解如何通过重新实现类似于Either或Option的东西来处理联合类型和泛型类型。

type Error = {
  readonly _tag: 'error';
  status: number;
  statusText: string;
};

type Success<T> = {
  readonly _tag: 'success';
  response: T;
};

type PossibleError<T> = Error | Success<T>;

const isSuccessful = <T>(p: PossibleError<T>) => p._tag === 'success';

function fold<T>(
  onSuccess: (e: Success<T>) => void,
  onError: (a: Error) => void
): (pe: PossibleError<T>) => void {
  return pe => (isSuccessful(pe) ? onSuccess(pe.response) : onError(pe));
}

但是我得到了以下错误

error TS2339: Property 'response' does not exist on type 'PossibleError<T>'.
  Property 'response' does not exist on type 'Error'.

   return pe => (isSuccessful(pe) ? onSuccess(pe.response) : onError(pe));
                                                   ~~~~~~~~
error TS2345: Argument of type 'PossibleError<T>' is not assignable to parameter of type 'Error'.
  Type 'Success<T>' is missing the following properties from type 'Error': status, statusText

   return pe => (isSuccessful(pe) ? onSuccess(pe.response) : onError(pe));

我认为打字本无法根据我的pe函数计算出isSuccessful的类型。如何使数据结构的正确部分能够对其进行处理？

我查看了这两种语言的fp-ts 实现，它们可以访问.left和.right，所以我无法确定代码中有什么不同。

Answer 1

你快到了！有两个问题：

1. 你需要p is Success<T>在你的类型保护功能上 const isSuccessful = (p: PossibleError)：p是成功=> p._tag === ' Success '；//
2. 您正在尝试将pe.response (而不是pe )传递到onSuccess，但是onSuccess被定义为接受Success<T>，而不是T。您需要更改onSuccess的类型： 功能折叠( onSuccess：(e: T) => void，//−−−−−−−−−−−−−−^ onError：(a: XError) => void )：( pe : PossibleError) => void {返回pe => (isSuccessful(pe)？onSuccess(pe.response)：onError(Pe)；} 操场链接 ...or传递它pe： 功能折叠( onSuccess：(e:成功) => void，onError：(a: XError) => void )：( pe : PossibleError) => void {返回pe => (isSuccessful(pe)？onSuccess(pe)：onError(Pe)；//−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−^} 操场链接

附带注意:在这些代码中，我将Error更改为XError，这样它就不会与标准的Error函数发生冲突。