26 May
2010
26 May
'10
11:07 a.m.
I wrote:
keep :: ((t -> b) -> u -> b) -> ((t1 -> t) -> b) -> (t1 -> u) -> b so then nameZip = keep (drop' . drop') names
Günther Schmidt wrote:
don't be tease man, show me what you got :)
Ivan Miljenovic wrote:
Methinks Yitzchak made a typo
Yes, sorry about that. Tested in ghci this time :). keep :: (forall c . (t -> c) -> u -> c) -> ((t1 -> t) -> b) -> (t1 -> u) -> b keep transform rec = \fn -> rec $ transform id . fn Regards, Yitz