Changeset 1754

Timestamp:

11/18/07 22:12:57 (14 months ago)

Author:

nishio

Message:

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

Files:

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

lang/unlambda/impl/in_python/unlambda.py

@@ -17 +17 @@
 >>> run("``.b`d`.aii")
 ba
+>>> run("``.b`.a`ci.c")
+ababc
+>>> Debug.show_node = True
+>>> run("``v.a.a")
+(apply (apply V (print 'a')) (print 'a'))
+(apply V (print 'a'))
+V
+>>> Debug.show_node = False
+>>> run("````skk.av")
+a
 """
-
 # Main loop
 #
@@ -42 +51 @@
 def EvalTask(node, cont):
     def run():
-        #print node
+        if Debug.show_node: print node
         return node.eval(cont)
     return run
@@ -105 +114 @@
 
 class D(Node):
+    "delay (special form)"
     def __str__(self):
          return "D"
@@ -112 +122 @@
         raise NotImplemented
 
+class C(Node):
+    "call/cc"
+    def __str__(self):
+        return "C"
+    def eval(self, cont):
+        def C0(Y, cont):
+            def C1(func, new_cont):
+                return cont(func) # use old cont
+            operator = Y
+            operand = C1
+            def Apply(): # task
+                return operator(operand, cont)
+            return Apply
+        return cont(C0)
+
+class V(Node):
+    "void"
+    def __str__(self):
+        return "V"
+    def eval(self, cont):
+        def V0(X, cont):
+            return cont(V0)
+        return cont(V0)
+
+class K(Node):
+    "constant: ``kXY = X"
+    def __str__(self):
+        return "K"
+    def eval(self, cont):
+        def K0(X, cont):
+            def K1(Y, cont):
+                return cont(X)
+            return cont(K1)
+        return cont(K0)
+
+class S(Node):
+    "substitution: ```sXYZ = ``XZ`YZ"
+    def __str__(self):
+        return "S"
+    def eval(self, cont):
+        def S0(X, cont):
+            def S1(Y, cont):
+                def S2(Z, cont):
+                    return EvalTask(
+                        Apply(
+                            Apply(Func2Node(X), Func2Node(Z)),
+                            Apply(Func2Node(Y), Func2Node(Z))), cont)
+                return cont(S2)
+            return cont(S1)
+        return cont(S0)
+
+class Func2Node(Node):
+    def __init__(self, f):
+        self.f = f
+    def eval(self, cont):
+        return cont(self.f)
+    
 def _parse(iter):
     c = iter.next()
@@ -117 +184 @@
         "i": lambda: I(),
         ".": lambda: Dot(iter.next()),
-        "`": lambda: (lambda f=_parse(iter): Apply(f, _parse(iter)))(),
-        "r": lambda: Dor("\n"),
+        "`": lambda: Apply(_parse(iter), _parse(iter)),
+        "r": lambda: Dot("\n"),
         "d": lambda: D(), # special form
-
+        "c": lambda: C(),
         "v": lambda: V(),
-        "c": lambda: C(),
         "s": lambda: S(),
         "k": lambda: K(),
@@ -131 +197 @@
     return _parse(list(s).__iter__())
 
+class Debug():
+    show_node = False
+
 def _test():
     import doctest
@@ -136 +205 @@
     doctest.testmod()
 
+def fib():
+    "show Fibonacci numbers"
+    run("""
+    ```s``s``sii`ki
+      `k.*``s``s`ks
+     ``s`k`s`ks``s``s`ks``s`k`s`kr``s`k`sikk
+      `k``s`ksk
+      """)