`seq` en las funciones aplicadas parcialmente

Question

Digamos que tengo el siguiente:

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

Ahora digamos que es en realidad f:

f x y = f1 x + y 

Would:

g `seq` ... 

realidad evaluar f1 10 , por lo tanto, más adelante cuando se ejecuta

g 9 

en realidad es solo una simple adición?

Si no, ¿hay alguna forma de "evaluar" partes de una función parcialmente aplicada?

Estoy buscando una solución genérica, que no dependa de saber cómo funcionan f y g.

Answer 1

seq es poco profunda:

Prelude> let f1 = undefined 
Prelude> let f = \x -> \y -> f1 x + y 
Prelude> let g = f 10 
Prelude> g `seq` 1 
1 
Prelude> g 9 
*** Exception: Prelude.undefined 
Prelude> 

me gustaría echar un vistazo a Control.DeepSeq: http://hackage.haskell.org/packages/archive/deepseq/1.2.0.1/doc/html/Control-DeepSeq.html

Answer 2

No, no lo hará, porque, en general, la elección del lado derecho de f podría depender de y. Si desea compartir el resultado de f1 x entre llamadas a g, que tendría que escribir f así:

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

Por supuesto, debido a la pereza esto no evaluará f1 x hasta la primera vez g se llama. Tener g `seq` ... la evaluación de la fuerza f1 x, que tendría que escribir:

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