Changeset 1757 for lang/unlambda/impl

Timestamp:

11/19/07 00:40:32 (6 years ago)

Author:

nishio

Message:

lang/unlambda/impl/in_python: support all function in Unlambda2.0

Files:

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

lang/unlambda/impl/in_python/unlambda.py

@@ -41 +41 @@
 # __call__(Func) returns Task
 def FinalCont(f):
-    def FinalTask():
-        raise StopIteration
     return FinalTask
 
 # Task
 #
-class Task(object): pass
+
+def FinalTask(X=None):
+    raise StopIteration()
 
 def EvalTask(node, cont):
@@ -55 +55 @@
     return run
 
+def ApplyTask(operator, operand, cont):
+    def run():
+        return operator(operand, cont)
+    return run
+
 # Node
 #
@@ -61 +66 @@
 
 class I(Node):
-    "identity"
+    "identity: `iX = X"
     def __str__(self):
         return "I"
@@ -107 +112 @@
                 def next(Y):
                     def _App2(): # task
+                        "evaluated X and Y"
                         return X(Y, cont)
                     return _App2
@@ -119 +125 @@
     def eval(self, cont):
         return cont(self)
-    def __call__(self, Y, cont):
-        raise NotImplemented
+    
 
 class C(Node):
@@ -138 +143 @@
 
 class V(Node):
-    "void"
+    """void: v(x) == v
+    equivalent to ` ``s``s`kskk ``s``s`kskk"""
     def __str__(self):
         return "V"
@@ -174 +180 @@
 
 class Func2Node(Node):
+    def __str__(self): return "%s" % self.f.func_name
     def __init__(self, f):
         self.f = f
     def eval(self, cont):
         return cont(self.f)
+
+class At(Node):
+    def __str__(self): return "At"
+    def eval(self, cont):
+        def At0(X, cont):
+            import sys
+            try:
+                #At.c = sys.stdin.read(1)
+                At.c = raw_input(">>> ")[0]
+                switch = I()
+            except:
+                switch = V()
+
+            return EvalTask(
+                    Apply(
+                        Func2Node(X),
+                        switch),
+                    cont)
+        return cont(At0)
+            
+class Qu(Node):
+    def __str__(self): return "(? %r)" % self.c
+    def __init__(self, c):
+        self.c = c
+
+    def eval(self, cont):
+        def Qu0(X, cont):
+            if At.c == self.c:
+                switch = I()
+            else:
+                switch = V()
+
+            return EvalTask(Apply(Func2Node(X), switch), cont)
+        return cont(Qu0)
+
+class Pipe(Node):
+    def eval(self, cont):
+        def Pipe0(X, cont):
+            if At.c != -1:
+                switch = Dot(At.c)
+            else:
+                switch = V()
+
+            return ApplyTask(X, switch, cont)
+        return Pipe0
+
+class E(Node):
+    def eval(self, cont):
+        def E0(X, cont):
+            return FinalTask(X)
+        return E0
     
 def _parse(iter):
@@ -191 +249 @@
         "s": lambda: S(),
         "k": lambda: K(),
+        "@": lambda: At(),
+        "?": lambda: Qu(iter.next()),
+        "|": lambda: Pipe(),
+        "e": lambda: E(),
     }.get(c, lambda: _parse(iter))()
     return result
@@ -213 +275 @@
       `k``s`ksk
       """)
+
+#Debug.show_node = True
+#run("`````@?a.oi.kv")
+