Changeset 13335

Timestamp:

06/06/08 21:59:03 (5 years ago)

Author:

nishio

Message:

/lang/python/grass impl. of a programming language 'Grass'.

Location:

lang/python/grass

Files:

• grass.py (modified) (10 diffs)
• helloworld.grass (added)

lang/python/grass/grass.py

@@ -1 +1 @@
 # -*- coding: cp932 -*-
-#
-# grass.rb - Grass interpreter
-# http://www.blue.sky.or.jp/grass/
-#
-# Copyright (C) 2008 NISHIO Hirokazu. All rights reserved.
-#
-# Redistribution and use in source and binary forms, with or without
-# modification, are permitted provided that the following conditions
-# are met:
-# 1. Redistributions of source code must retain the above copyright
-#    notice, this list of conditions and the following disclaimer.
-# 2. Redistributions in binary form must reproduce the above copyright
-#    notice, this list of conditions and the following disclaimer in
-#    the documentation and/or other materials provided with the
-#    distribution.
-#
-# THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS''
-# AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
-# THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
-# PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS
-# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
-# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
-# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
-# BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
-# WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
-# OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
-# IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-#
-# History:
-#
-# 2008-06-06
-#   - Tlanslated to python by NISHIO
-# 2007-10-02
-#   - Follow the latest changes of the definition of Grass.
-#   - by UENO Katsuhiro
-# 2007-09-20
-#   - First version by UENO Katsuhiro.
-#
-
+"""
+ grass.py - Grass interpreter
+ http://www.blue.sky.or.jp/grass/
+
+ Copyright (C) 2008 NISHIO Hirokazu. All rights reserved.
+
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+ 1. Redistributions of source code must retain the above copyright
+    notice, this list of conditions and the following disclaimer.
+ 2. Redistributions in binary form must reproduce the above copyright
+    notice, this list of conditions and the following disclaimer in
+    the documentation and/or other materials provided with the
+    distribution.
+
+ THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS''
+ AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
+ THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS
+ BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+ CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+ SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR
+ BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
+ WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE
+ OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN
+ IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+ History:
+
+ 2008-06-06
+   - Tlanslated to python by NISHIO
+ 2007-10-02
+   - Follow the latest changes of the definition of Grass.
+   - by UENO Katsuhiro
+ 2007-09-20
+   - First version by UENO Katsuhiro.
+
+
+TESTS
+>>> run("wWWwwww")
+w
+
+>>> run('''wwWWwv \
+    wwwwWWWwwWwwWWWWWWwwwwWwwv \
+    wWWwwwWwwwwWwwwwwwWwwwwwwwww''')
+ww
+
+>>> run("wWWWwwwwWWWw") # x
+x
+
+"""
 from copy import deepcopy
 import sys
@@ -47 +60 @@
 DEBUG = 50
 DEBUG2 = 60
-LOGLEVEL = 0
+LOGLEVEL = RELEASE
 NUMERICAL_OUTPUT = False
 def log(level, *msg):
@@ -96 +109 @@
 class Fn(Value):
     count = 0
+    name = ""
     def __init__(self, code, env):
         self.code, self.env = code, env
@@ -109 +123 @@
 
     def __repr__(self):
+        if self.name:
+            return self.name
         return "Fn%d" % self.count
 
 ChurchTrue  = Fn([Abs([App(3,2)])], [Fn([],[])])
-ChurchTrue.__repr__ = "True"
+ChurchTrue.name = "CTrue"
 ChurchFalse = Fn([Abs([])], [])
-ChurchFalse.__repr__ = "False"
+ChurchFalse.name = "CFalse"
 
 class CharFn(Value):
@@ -175 +191 @@
 
 def start(code):
-    global m
-    m = Machine(code, deepcopy(InitialEnv), deepcopy(InitialDump))
-    return eval(m)
+    return eval(Machine(code, deepcopy(InitialEnv), deepcopy(InitialDump)))
 
 def parse(src):
@@ -206 +220 @@
     start(parse(src))
 
-def test():
-    """
-    >>> run("wWWwwww")
-    w
-    
-    >>> run('''
-    wwWWwv
-    wwwwWWWwwWwwWWWWWWwwwwWwwv
-    wWWwwwWwwwwWwwwwwwWwwwwwwwww
-    ''')
-    ww
-
-    >>> run("wWWWwwwwWWWw") # x
-    x
-    """
-    
-"""
->>> map(lambda x: 256 + ord(x) - ord("w") , "Hello, world")
-[209, 238, 245, 245, 248, 181, 169, 256, 248, 251, 245, 237]
->>> set(_)
-set([256, 169, 237, 238, 209, 245, 248, 251, 181])
-
-wWWwWWWwv   # +16
-wWWwWWWwv   # +32
-wWWwWWWwv   # +64
-wWWwWWWwv   # +128
-wWWwwwwwwwwwww # print w+128
-"""
 
 ## coding utilities
 env = ["In", "w", "Succ", "Out"]
-def funcdef(code, name):
-    env.append(name)
-    return code
 
 def ws(name, env=env):
@@ -259 +242 @@
     for example
     [("arg+1", "Succ", "arg1"), ("arg+2", "Succ", "arg1")]
+
+    >>> print make_func("+2", [\
+            ("tmp", "Succ", "arg1"),\
+            ("result", "Succ", "tmp"),\
+            ])
+    wWWWwWWWWwv
+    <BLANKLINE>
+    >>> print make_func("+4", [\
+            ("tmp", "+2", "arg1"),\
+            ("result", "+2", "tmp"),\
+            ])
+    wWWwWWWwv
+    <BLANKLINE>
     """
     myenv = deepcopy(env)
@@ -270 +266 @@
     return result + "v\n"
 
-"""
->>> make_func("+2", [
-        ("tmp", "Succ", "arg1"),
-        ("result", "Succ", "tmp"),
-        ])
-'wWWWwWWWWwv'
->>> make_func("+4", [
-        ("tmp", "+2", "arg1"),
-        ("result", "+2", "tmp"),
-        ])
-'wWWwWWWwv'
-"""
-
-def foo():
+def build_helloworld():
     code = (
         make_func("+2", [
@@ -357 +340 @@
             ("tmp", "Out", "d"),
             ("tmp", "Out", "!"),
-            ])+
-
-        ""
-
+            ])
     )
     import textwrap
@@ -367 +347 @@
     run(code)
 
-    """
-    funcdef("wWWWwWWWWwv", "+2") +
-    funcdef("wWWwWWWwv", "+4") +
-    funcdef("wWWwWWWwv", "+8") +
-    funcdef("wWWwWWWwv", "+16") +
-    funcdef("wWWwWWWwv", "+32") +
-    funcdef("wWWwWWWwv", "+64") +
-    funcdef("wWWwWWWwv", "+128") +
-
-    # [In, Char(119), Succ, Out, +2, +4, +8, +16, +32, +64, +128]
-
->>> foo(256 + ord("H") - ord("w"))
-[1, 0, 0, 0, 16, 0, 64]
->>> def foo(x):
-        result = []
-        for i in range(8):
-                result.append(int((2 ** i) & x))
-        return result
-
->>> foo(256 + ord("H") - ord("w"))
-[1, 0, 0, 0, 16, 0, 64, 128]
-    wWWWWwwwwwwwwwwwWWWWWWWww
-
-
-H [1, 0, 0, 0, 16, 0, 64, 128]
-e [0, 2, 4, 8, 0, 32, 64, 128]
-l [1, 0, 4, 0, 16, 32, 64, 128]
-l [1, 0, 4, 0, 16, 32, 64, 128]
-o [0, 0, 0, 8, 16, 32, 64, 128]
-, [1, 0, 4, 0, 16, 32, 0, 128]
-  [1, 0, 0, 8, 0, 32, 0, 128]
-w [0, 0, 0, 0, 0, 0, 0, 0]
-o [0, 0, 0, 8, 16, 32, 64, 128]
-r [1, 2, 0, 8, 16, 32, 64, 128]
-l [1, 0, 4, 0, 16, 32, 64, 128]
-d [1, 0, 4, 8, 0, 32, 64, 128]
-! [0, 2, 0, 8, 0, 32, 0, 128]
-    """ # w + 32
-
-
-
-    #run(code)
+def _test():
+    import doctest
+    reload(doctest)
+    doctest.testmod()
+    print "ok."
+
+def run_stdin():
+    src = sys.stdin.read()
+    run(src)
+    
+if __name__ == "__main__":
+    #_test()
+    run_stdin()