我最近偶然发现了this article,它描述了如何仅使用Ruby中的Procs来编写FizzBuzz,并且因为我感到无聊,所以认为尝试使用lambdas在Python中实现相同的东西是很好的。
我到了使用嵌套函数创建数字的部分,并编写了以下Python脚本:
#!/usr/bin/env python
zero = lambda p : (lambda x: x)
one = lambda p : (lambda x: p(x))
two = lambda p : (lambda x: p(p(x)))
three = lambda p : (lambda x: p(p(p(x))))
five = lambda p: (lambda x: p(p(p(p(p(x))))))
fifteen = lambda p : (lambda x: p(p(p(p(p( \
p(p(p(p(p( \
p(p(p(p(p(x))))))))))))))))
hundred = lambda p: (lambda x: p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p( \
p(p(p(p(p(p(p(p(p(p(x)))))))))))))))))))))))))))) \
))))))))))))))))))))))))))) \
))))))))))))))))))))))))))) \
)))))))))))))))))))
def to_int(func):
return func(lambda n: n + 1)(0)
print to_int(zero)
print to_int(one)
print to_int(two)
print to_int(three)
print to_int(five)
print to_int(fifteen)
print to_int(hundred)
数字0到15可以正常工作,但如果我尝试创建数字100,则由于以下错误,文件将无法运行:
s_push:解析器堆栈溢出
的MemoryError
我必须对其进行评论才能运行该文件。
这种糟糕 - 是否有任何解决这个限制的方法,以便我可以随意嵌套lambdas和函数调用,而不会使Python崩溃并耗尽内存?
或者,是否有某种lambda-calculus技巧可以用来表示数字100而没有这么多嵌套函数?
答案 0 :(得分:6)
表示数字100没有这么多嵌套函数?
你去:
>>> test = lambda f: f(lambda x: x + 1)(0)
>>> z = lambda f: lambda x: x
>>> test(z)
0
>>> succ = lambda n: lambda f: lambda x: f(n(f)(x))
>>> _1 = succ(z)
>>> test(_1)
1
>>> _2 = succ(_1)
>>> test(_2)
2
>>> plus = lambda m: lambda n: lambda f: lambda x: m(f)(n(f)(x))
>>> _3 = plus(_1)(_2)
>>> test(_3)
3
>>> mult = lambda m: lambda n: lambda f: lambda x: m(n(f))(x)
>>> _6 = mult(_2)(_3)
>>> test(_6)
6
>>> _5 = plus(_2)(_3)
>>> _25 = mult(_5)(_5)
>>> _4 = plus(_2)(_2)
>>> _100 = mult(_25)(_4)
>>> test(_100)
100
>>>
答案 1 :(得分:5)
看起来如果不重新编译Python就不可能。解析器堆栈大小使用parser.h
中的常量MAXSTACK设置。您可以增加此值并重新编译以增加限制。请参阅http://bugs.python.org/issue3971和http://mail.python.org/pipermail/python-list/2012-March/621555.html。
答案 2 :(得分:1)
从lambda演算的角度来看,递增一个数字可以通过以下函数完成:
succ = lambda n: lambda p: lambda x: p(n(p)(x))
然后,one = succ(zero)
,two = succ(one)
等等。