Changeset 1932 for lang/unlambda/impl

Timestamp:

11/23/07 14:39:31 (6 years ago)

Author:

nishio

Message:

lang/unlambda/impl/in_python: remove Dot and Apply

Files:

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

lang/unlambda/impl/in_python/unlambda_oneliner.py

@@ -26 +26 @@
 # Node
 
-Dot = lambda char:lambda c:c(
-    lambda X,c:sys.stdout.write(char)or c(X))
-Apply = lambda nX,nY:lambda c:\
-    lambda:nX(lambda X:
-        lambda:
-            (X == D_)and(
-                c(lambda Y,c:nY(lambda X:c(lambda X,c:X(Y,c))))
-            )or(
-                nY(lambda Y:lambda:X(Y, c))))
+D_ = lambda c:c(D_)
+V=lambda X,c:c(V)
 
-D_ = lambda c:c(D_)
-lambda V=lambda X,c:c(V):V
-
-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:{
+parse = (lambda Dot, Apply:(lambda s: (lambda f:((lambda g: f(lambda x: g(g)(x)))
+              (lambda g: f(lambda x: g(g)(x)))))(lambda _parse: lambda iter:{
         "i": lambda:lambda c:c(lambda X,c:c(X)),
         "d": lambda:D_,
@@ -62 +50 @@
         ".": lambda: Dot(iter.next()),
         "`": lambda: Apply(_parse(iter), _parse(iter)),
-    }.get(iter.next(), lambda: _parse(iter))())
+    }.get(iter.next(), lambda: _parse(iter))())(list(s).__iter__())))(
 
-parse = lambda s: p(list(s).__iter__())
-
+(lambda char:lambda c:c(
+    lambda X,c:sys.stdout.write(char)or c(X))), # dot
+(lambda nX,nY:lambda c:\
+    lambda:nX(lambda X:
+        lambda:
+            (X == D_)and(
+                c(lambda Y,c:nY(lambda X:c(lambda X,c:X(Y,c))))
+            )or(
+                nY(lambda Y:lambda:X(Y, c))))) # apply
+)
 
 # Main loop