F# 在 func `lambda` 和 `lambda` 之间存在差异 |> func

Question

我正在使用 FSharpPlus 库，但两者之间存在差异

#r "nuget: FSharpPlus"
open FSharpPlus

memoizeN (fun x y -> x,y)       // error FS0073: internal error: recursive class hierarchy (detected in TypeFeasiblySubsumesType), ty1 = MemoizeN

(fun x y -> x,y) |> memoizeN    // OK

为什么会这样，有没有办法利用前者？

Answer 1

这不是因为 lambda，这是一种角落类型推理案例。

F# 类型推断是从左到右进行的，因此在某些情况下，它无法推断出泛型函数的正确类型，除非已经推断出其参数的类型信息。

一个更简单的例子可能是这样的:

let x = (fun lst -> lst.Length) [0]