类型预测仅适用于管道功能

Question

我正在使用monocle ts(https://github.com/gcanti/monocle-ts)我的项目中的图书馆。我有以下代码

import {id, prop} from 'monocle-ts/lib/Lens'
import {pipe} from 'fp-ts/function'
type State = {a: string, b: string}
const stateLens = id<State>()
const aLens = pipe(stateLens, prop('a'))

^这段代码运行得很好，类型系统不允许我传递不是"a"或"b"的字符串。然而，如果我试图用其他方式编写相同的代码：

const aLens = prop('a')(stateLens)

我收到一个错误：Argument of type 'string' is not assignable to parameter of type 'never'prop函数的类型定义如下：

declare const prop: <A, P extends keyof A>(prop: P) => <S>(sa: Lens<S, A>) => Lens<S, A[P]>

我猜测，通过使用管道样式的typescript能够以某种方式推断出所有通用参数，而常规prop(...)(...)调用的情况并非如此

Answer 1

您尝试的另一种表示法是一个分两步的过程，首先使用prop('a')创建lambda函数，然后立即使用...(stateLens)调用它。prop()函数只接收键名"a"，但无法确定它所属的对象，因为它只有字符串参数"a"可供使用。因此，在prop的类型定义中，类型A将被解析为never，因为它没有被赋值，也无法推断。

我没有测试这个，但你可能可以通过手动传递这样的类型来做同样的事情

prop<State, 'a'>('a')(stateLens)

但这正是pipe从其第一个参数接收State类型时所做的，我认为您可以同意在这种情况下使用pipe看起来更好。

所以，你是对的，pipe能够推断出正确的类型并将其传递给prop。