Changeset 1931

Timestamp:

11/23/07 14:33:00 (14 months ago)

Author:

nishio

Message:

lang/unlambda/impl/in_python: due to _parse is a recursive function I should use Y combinator..

Files:

• lang/unlambda/impl/in_python/unlambda_oneliner.py (modified) (2 diffs)

lang/unlambda/impl/in_python/unlambda_oneliner.py

@@ -39 +39 @@
 lambda V=lambda X,c:c(V):V
 
-parse = lambda s: \
-    (lambda iter:{
+Y = lambda f:((lambda g: f(lambda x: g(g)(x)))
+              (lambda g: f(lambda x: g(g)(x))))
+
+p = Y(lambda _parse: lambda iter:{
         "i": lambda:lambda c:c(lambda X,c:c(X)),
         "d": lambda:D_,
@@ -60 +62 @@
         ".": lambda: Dot(iter.next()),
         "`": lambda: Apply(_parse(iter), _parse(iter)),
-    }.get(iter.next(), lambda: _parse(iter))())\
-    (list(s).__iter__())
+    }.get(iter.next(), lambda: _parse(iter))())
+
+parse = lambda s: p(list(s).__iter__())
+
 
 # Main loop