Name: Anonymous 2011-02-05 13:59
factorial 1->1; n->n*(factorial n-1)compare to Haskell
factorial::Integer->Integer
factorial 0=1
factorial n=n*factorial(n-1)
factorial 1->1; n->n*(factorial n-1)
factorial::Integer->Integer
factorial 0=1
factorial n=n*factorial(n-1)
(λ(lambda)(((((((λ(lambda)(λ(λλ)(λ(λλλ)(λ(λambda)(λ(λαμβδα)(λ(λ)(if(λambda λαμβδα)λ((((((lambda lambda)λλ)λλλ)λambda)(λλλ λαμβδα))(λλ λαμβδα λ)))))))))(λ(lambda)(λ(λλ)(λ(λλλ)(λ(λambda)(λ(λαμβδα)(λ(λ)(if(λambda λαμβδα)λ((((((lambda lambda)λλ)λλλ)λambda)(λλλ λαμβδα))(λλ λαμβδα λ))))))))))(λ(lambda λαμβδα)(((((((λ(lambda)(λ(λλ)(λ(λλλ)(λ(λambda)(λ(λλλλ)(λ(λ)(if(λλ λλλλ)λ((((((lambda lambda)λλ)λλλ)λambda)(λλλ λλλλ))(λambda λ λαμβδα)))))))))(λ(lambda)(λ(λλ)(λ(λλλ)(λ(λambda)(λ(λλλλ)(λ(λ)(if(λλ λλλλ)λ((((((lambda lambda)λλ)λλλ)λambda)(λλλ λλλλ))(λambda λ λαμβδα))))))))))zero?)sub1)(λ(lambda λαμβδα)(((((((λ(lambda)(λ(λλ)(λ(λλλ)(λ(λambda)(λ(λλλλ)(λ(λ)(if(λλ λλλλ)λ((((((lambda lambda)λλ)λλλ)λambda)(λλλ λλλλ))(λambda λ)))))))))(λ(lambda)(λ(λλ)(λ(λλλ)(λ(λambda)(λ(λλλλ)(λ(λ)(if(λλ λλλλ)λ((((((lambda lambda)λλ)λλλ)λambda)(λλλ λλλλ))(λambda λ))))))))))zero?)sub1)add1)lambda)λαμβδα)))lambda)0)))sub1)zero?)lambda)1))