typescript - 为什么要进行类型检查？

Question

这对我没有意义：

import axios from 'axios'
import * as TE from 'fp-ts/lib/TaskEither'

export const getIntent = (sessionId: string, input: string) => process.env.INTENT_URL
  ? TE.tryCatch(
      () => axios.post(`${process.env.INTENT_URL}`,{sessionId, input}),
      reason => String(reason))
  : TE.left(Error("No INTENT_URL")
)

Leftis和String/或Errorwhich 显然不相等。这种类型怎么检查？？？

Answer 1

这种类型检查的相同原因：

export const getIntent = () => process.env.INTENT_URL
  ? true
  : "false"

您的函数上没有返回类型注释，因此 typescript 会自动将返回类型扩展为联合类型以覆盖返回值。