>>5
Incorrect, here is how to count to 0-5 with typed lambda (lisp)
((lambda (f n)
(if (= n 5) n
(f f (+ n 1))))
(lambda (f n)
(if (= n 5) n
(f f (+ n 1)))) 0)
Name:
Anonymous2008-03-01 12:56
λf. (λx. f (x x)) (λx. f (x x))
Name:
Anonymous2008-03-01 13:07
>>7
and in fact, every scheme code that involves at least one procedure is an example of lambda recursion/iteration.
In my example, I bound the value of the lambda expression to `f' which is local to the lambda body.
`define' bounds values globally (unless, inside another procedure body)
So it's the same. I'm a happy man
Name:
Anonymous2009-03-06 6:42
Just made a 2 digit number and validate ccnum card type card number and ValidateCCNum ccard getCardType cCard getCardNumber.