
7 Jun
2006
7 Jun
'06
10:29 a.m.
Serge D. Mechveliani wrote:
I do not know. Will the source look natural?
That depends on g and h, a generalization can look natural or artifical.
Can you explain this more precisely: what to change in f, g, and h ? Let it be f, g, h :: Int -> Int.
new situtation: module F where import G import H f :: Int -> Int f x = ... g f (... x ...) ... h f (... x ...) module G where g :: (Int -> Int) -> Int -> Int g f x = ... module H ...