
20 Oct
2009
20 Oct
'09
11:29 a.m.
Christian Maeder wrote:
Hoogle did not find a function of type:
(b -> b -> b) -> (a -> b) -> (a -> b) -> a -> b
or (b -> c -> d) -> (a -> b) -> (a -> c) -> a -> d
But maybe such a function is worth being added to Data.Function.
Hello Christian This is the big Phi or S' combinator. I would certainly second its addition to Data.Function. sprime p q r s = p (q s) (r s) Best wishes Stephen