haskell - `seq` 部分应用函数

Question

可以说我有以下内容:

f :: a -> b -> c
g :: b -> c
g = f 10

现在让我们说 f实际上是:

f x y = f1 x + y

将:

g `seq` ...

实际评估 f1 10 ，所以稍后在运行时

g 9

它实际上只是一个简单的添加？

如果没有，有没有办法“评估”部分应用功能的一部分？

我正在寻找一种通用的解决方案，它不依赖于了解 f和 g工作。

Answer 1

不，不会，因为一般情况下，f 的右手边选择可能取决于 y .如果你想分享 f1 x 的结果在调用 g 之间, 你必须写 f像这样:

f x = let z = f1 x in \y -> z + y

当然，由于懒惰，这不会评估 f1 x直到第一次 g叫做。有 g `seq` ... f1 x 的力评估，你必须写:

f x = let z = f1 x in z `seq` (\y -> z + y)