What's wrong with pattern matching? Or just defining it to equal tail?
Name:
Anonymous2007-09-13 18:58 ID:a5wbLjYo
>>4
Of course, but I'm trying to figure out a way of defining it in terms of foldr.
Name:
Anonymous2007-09-13 19:07 ID:dymVHqkd
cons = λx. λy. λz. z x y
car = λz. λx. λy. x
cudder = λz. λx. λy. y
Name:
Anonymous2007-09-13 20:56 ID:UgYGPgiM
cudder [a,b,c,d..z] = [b,c,d...z]
cudder' [
foldr f i [a,b,c,d..z] =
(f a (f b(f c ... (f z i))... =
(f' a l (f' b l (f' c l (.... (f' z l i))....
.................
cudder l = foldr f [] [l]
where f a:b _ = b
Name:
Anonymous2007-09-14 7:01 ID:hhRCbase
I gave up and implemented foldr in terms of cudder and car instead ;) [def]foldr
[ls]f x list[/ls]
[if][empty][var]list[/var][/empty]
[var]x[/var]
[apply][var]f[/var]
[car][var]list[/var][/car]
[foldr][var]f[/var]
[var]x[/var]
[cdr][var]list[/var][/cdr]
[/foldr]
[/apply]
[/if]
[/def]