Changeset 1688 for lang/unlambda

Timestamp:

11/17/07 01:29:33 (12 months ago)

Author:

nishio

Message:

lang/unlambda/impl/in_python: support [rv], to ignore meaningless characters

Files:

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

lang/unlambda/impl/in_python/unlambda.py

@@ -3 +3 @@
 
 # doctest
->>> p = parse("``skk").eval()
+>>> p = parse("``skk").eval() # SKK = I
 >>> p(1)
 1
 
->>> p = parse("`.a.a").eval()
+>>> p = parse("`.a.b").eval()
 a
+
+>>> run("`.a`rr") # carriage return
+<BLANKLINE>
+a
+
+>>> run("`vv").func_name # blackhole
+'V0'
 """
 
@@ -29 +36 @@
             sys.stdout.write(self.c)
         return Dot0
+
+class R(Node):
+    def eval(self):
+        def R0(X):
+            print
+        return R0
 
 class K(Node):
@@ -54 +67 @@
         return I0
 
+class V(Node):
+    """blackhole: v(x) == v
+    equivalent to ` ``s``s`kskk ``s``s`kskk"""
+    def eval(self):
+        def V0(X):
+            return V0
+        return V0
+        
 def _parse(iter):
     c = iter.next()
@@ -61 +82 @@
         "s": lambda: S(),
         "k": lambda: K(),
-        ".": lambda: Dot(iter.next())
-    }[c]()
+        ".": lambda: Dot(iter.next()),
+        "r": lambda: R(),
+        "v": lambda: V(),
+    }.get(c, lambda: _parse(iter))()
     return result
 
@@ -68 +91 @@
     return _parse(list(s).__iter__())
 
+def run(s):
+    return parse(s).eval()
+
 def _test():
     import doctest