Mowkow 0.1.0__tar.gz

mowkow-0.1.0/Mowkow.egg-info/PKG-INFO

@@ -0,0 +1,117 @@
+Metadata-Version: 2.4
+Name: Mowkow
+Version: 0.1.0
+Summary: Mowkow: A Korean LISP Interpreter
+Author-email: Gyun Woo <woogyun@pnu.edu>
+Keywords: Korean,LISP,coding,programming,interpreter
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+
+# mowkow
+머꼬: 한글 LISP
+
+## 실행 방법
+Python 3.10 이상을 설치한 후 다음 명령을 수행합니다.
+```
+python main.py
+```
+Windows 운영체제에서는 dist의 mk.exe를 다운로드하셔서 명령 프롬프트에서 다음과 같이 수행합니다.
+```
+mk.exe
+```
+
+종료하려면 그냥 엔터를 입력하면 됩니다.
+
+## 테스트 입력
+
+다음 입력을 수행해 보세요.
+
+```
+>  (+ 10 20)
+30
+>  (그대로 10)
+10
+>  (그대로 (+ 10 20))
+30
+>  (그대로 '(+ 10 20))
+(+ 10 20)
+>  (절댓값 (- 20))
+오류: <내장함수 '-'>: 인수 개수 오류입니다.
+>  (절댓값 (- 0 20))
+20
+>  (머 '(1 2 3))
+1
+>  (꼬 '(1 2 3))
+(2 3)
+>  (잠시 ((이 2) (삼 3)) (+ 이 삼))
+5
+>  (정의 (합 수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1)))))
+>  (합 4)
+10
+>  (정의 합 (람다 (수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1))))))
+>  (합 5)
+15
+>  (잠시 ((인수 5) (합 (람다 (수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1))))))) (합 인수))
+15
+```
+
+## 테스트 프로그램
+두 양수를 입력받아 최대공약수와 최소공배수를 구하는 프로그램(`gcd_lcm.mk`)의 예를 보면 다음과 같습니다.
+```
+(정의 (나머지 가 나)
+      (- 가 (* (/ 가 나) 나)))
+
+(정의 (최대공약수 가 나)
+      (만약 (= 나 0)
+            가
+            (최대공약수 나 (나머지 가 나))))
+
+(정의 (최소공배수 가 나)
+      (/ (* 가 나) (최대공약수 가 나)))
+
+(정의 가 (읽기))
+(정의 나 (읽기))
+(쓰기 (최대공약수 가 나))
+(쓰기 (최소공배수 가 나))
+```
+위 프로그램은 다음과 같이 수행할 수 있습니다.
+```
+> python main.py gcd_lcm.mk
+```
+
+
+## 테스트 코드
+
+테스트 코드 폴더의 테스트 파일 source.mk를 수행하려면 다음과 같이 수행하시면 됩니다.
+
+```
+python main.py test_code/source.mk
+```
+
+윈도우 실행 파일 mk.exe로 수행하시려면 다음과 같이 수행하시면 됩니다.
+```
+mk.exe test_code/source.mk
+```
+
+## Windows용 배치 파일
+
+머꼬 프로그램 파일은 UTF-8 인코딩으로 작성해야 합니다.
+`test_code`의 예제 프로그램도 그렇게 작성된 것입니다.
+이를 Windows의 명령 프롬프트(`cmd`) 창에서 보려면 문자 인코딩을 UTF-8 인코딩으로 바꾸어야 합니다.
+이때 다음 명령어를 사용하실 수 있습니다.
+
+```
+gomk
+```
+
+다시 원래 인코딩(code page 949, EUC-KR 호환)으로 명령 프롬프트를 회복하시려면 다음 명령어를 사용하시기 바랍니다.
+
+```
+kmog
+```
+
+## Authors
+
+* **우균(Gyun Woo)** - *최초 작업* - [Gyun Woo](https://github.com/woogyun)
+
+

mowkow-0.1.0/Mowkow.egg-info/SOURCES.txt

@@ -0,0 +1,14 @@
+README.md
+pyproject.toml
+Mowkow.egg-info/PKG-INFO
+Mowkow.egg-info/SOURCES.txt
+Mowkow.egg-info/dependency_links.txt
+Mowkow.egg-info/entry_points.txt
+Mowkow.egg-info/top_level.txt
+mowkow/__init__.py
+mowkow/_data.py
+mowkow/_error.py
+mowkow/_eval.py
+mowkow/_parse.py
+mowkow/library_kor.scm
+mowkow/main.py

mowkow-0.1.0/Mowkow.egg-info/dependency_links.txt

@@ -0,0 +1 @@
+

mowkow-0.1.0/Mowkow.egg-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+mk = mowkow.main:main

mowkow-0.1.0/Mowkow.egg-info/top_level.txt

@@ -0,0 +1 @@
+mowkow

mowkow-0.1.0/PKG-INFO

@@ -0,0 +1,117 @@
+Metadata-Version: 2.4
+Name: Mowkow
+Version: 0.1.0
+Summary: Mowkow: A Korean LISP Interpreter
+Author-email: Gyun Woo <woogyun@pnu.edu>
+Keywords: Korean,LISP,coding,programming,interpreter
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+
+# mowkow
+머꼬: 한글 LISP
+
+## 실행 방법
+Python 3.10 이상을 설치한 후 다음 명령을 수행합니다.
+```
+python main.py
+```
+Windows 운영체제에서는 dist의 mk.exe를 다운로드하셔서 명령 프롬프트에서 다음과 같이 수행합니다.
+```
+mk.exe
+```
+
+종료하려면 그냥 엔터를 입력하면 됩니다.
+
+## 테스트 입력
+
+다음 입력을 수행해 보세요.
+
+```
+>  (+ 10 20)
+30
+>  (그대로 10)
+10
+>  (그대로 (+ 10 20))
+30
+>  (그대로 '(+ 10 20))
+(+ 10 20)
+>  (절댓값 (- 20))
+오류: <내장함수 '-'>: 인수 개수 오류입니다.
+>  (절댓값 (- 0 20))
+20
+>  (머 '(1 2 3))
+1
+>  (꼬 '(1 2 3))
+(2 3)
+>  (잠시 ((이 2) (삼 3)) (+ 이 삼))
+5
+>  (정의 (합 수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1)))))
+>  (합 4)
+10
+>  (정의 합 (람다 (수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1))))))
+>  (합 5)
+15
+>  (잠시 ((인수 5) (합 (람다 (수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1))))))) (합 인수))
+15
+```
+
+## 테스트 프로그램
+두 양수를 입력받아 최대공약수와 최소공배수를 구하는 프로그램(`gcd_lcm.mk`)의 예를 보면 다음과 같습니다.
+```
+(정의 (나머지 가 나)
+      (- 가 (* (/ 가 나) 나)))
+
+(정의 (최대공약수 가 나)
+      (만약 (= 나 0)
+            가
+            (최대공약수 나 (나머지 가 나))))
+
+(정의 (최소공배수 가 나)
+      (/ (* 가 나) (최대공약수 가 나)))
+
+(정의 가 (읽기))
+(정의 나 (읽기))
+(쓰기 (최대공약수 가 나))
+(쓰기 (최소공배수 가 나))
+```
+위 프로그램은 다음과 같이 수행할 수 있습니다.
+```
+> python main.py gcd_lcm.mk
+```
+
+
+## 테스트 코드
+
+테스트 코드 폴더의 테스트 파일 source.mk를 수행하려면 다음과 같이 수행하시면 됩니다.
+
+```
+python main.py test_code/source.mk
+```
+
+윈도우 실행 파일 mk.exe로 수행하시려면 다음과 같이 수행하시면 됩니다.
+```
+mk.exe test_code/source.mk
+```
+
+## Windows용 배치 파일
+
+머꼬 프로그램 파일은 UTF-8 인코딩으로 작성해야 합니다.
+`test_code`의 예제 프로그램도 그렇게 작성된 것입니다.
+이를 Windows의 명령 프롬프트(`cmd`) 창에서 보려면 문자 인코딩을 UTF-8 인코딩으로 바꾸어야 합니다.
+이때 다음 명령어를 사용하실 수 있습니다.
+
+```
+gomk
+```
+
+다시 원래 인코딩(code page 949, EUC-KR 호환)으로 명령 프롬프트를 회복하시려면 다음 명령어를 사용하시기 바랍니다.
+
+```
+kmog
+```
+
+## Authors
+
+* **우균(Gyun Woo)** - *최초 작업* - [Gyun Woo](https://github.com/woogyun)
+
+

mowkow-0.1.0/README.md

@@ -0,0 +1,108 @@
+# mowkow
+머꼬: 한글 LISP
+
+## 실행 방법
+Python 3.10 이상을 설치한 후 다음 명령을 수행합니다.
+```
+python main.py
+```
+Windows 운영체제에서는 dist의 mk.exe를 다운로드하셔서 명령 프롬프트에서 다음과 같이 수행합니다.
+```
+mk.exe
+```
+
+종료하려면 그냥 엔터를 입력하면 됩니다.
+
+## 테스트 입력
+
+다음 입력을 수행해 보세요.
+
+```
+>  (+ 10 20)
+30
+>  (그대로 10)
+10
+>  (그대로 (+ 10 20))
+30
+>  (그대로 '(+ 10 20))
+(+ 10 20)
+>  (절댓값 (- 20))
+오류: <내장함수 '-'>: 인수 개수 오류입니다.
+>  (절댓값 (- 0 20))
+20
+>  (머 '(1 2 3))
+1
+>  (꼬 '(1 2 3))
+(2 3)
+>  (잠시 ((이 2) (삼 3)) (+ 이 삼))
+5
+>  (정의 (합 수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1)))))
+>  (합 4)
+10
+>  (정의 합 (람다 (수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1))))))
+>  (합 5)
+15
+>  (잠시 ((인수 5) (합 (람다 (수) (만약 (= 수 0) 0 (+ 수 (합 (- 수 1))))))) (합 인수))
+15
+```
+
+## 테스트 프로그램
+두 양수를 입력받아 최대공약수와 최소공배수를 구하는 프로그램(`gcd_lcm.mk`)의 예를 보면 다음과 같습니다.
+```
+(정의 (나머지 가 나)
+      (- 가 (* (/ 가 나) 나)))
+
+(정의 (최대공약수 가 나)
+      (만약 (= 나 0)
+            가
+            (최대공약수 나 (나머지 가 나))))
+
+(정의 (최소공배수 가 나)
+      (/ (* 가 나) (최대공약수 가 나)))
+
+(정의 가 (읽기))
+(정의 나 (읽기))
+(쓰기 (최대공약수 가 나))
+(쓰기 (최소공배수 가 나))
+```
+위 프로그램은 다음과 같이 수행할 수 있습니다.
+```
+> python main.py gcd_lcm.mk
+```
+
+
+## 테스트 코드
+
+테스트 코드 폴더의 테스트 파일 source.mk를 수행하려면 다음과 같이 수행하시면 됩니다.
+
+```
+python main.py test_code/source.mk
+```
+
+윈도우 실행 파일 mk.exe로 수행하시려면 다음과 같이 수행하시면 됩니다.
+```
+mk.exe test_code/source.mk
+```
+
+## Windows용 배치 파일
+
+머꼬 프로그램 파일은 UTF-8 인코딩으로 작성해야 합니다.
+`test_code`의 예제 프로그램도 그렇게 작성된 것입니다.
+이를 Windows의 명령 프롬프트(`cmd`) 창에서 보려면 문자 인코딩을 UTF-8 인코딩으로 바꾸어야 합니다.
+이때 다음 명령어를 사용하실 수 있습니다.
+
+```
+gomk
+```
+
+다시 원래 인코딩(code page 949, EUC-KR 호환)으로 명령 프롬프트를 회복하시려면 다음 명령어를 사용하시기 바랍니다.
+
+```
+kmog
+```
+
+## Authors
+
+* **우균(Gyun Woo)** - *최초 작업* - [Gyun Woo](https://github.com/woogyun)
+
+

mowkow-0.1.0/mowkow/_data.py

@@ -0,0 +1,248 @@
+#coding: utf-8
+
+# Ph 4(eval): Pair.car() and Pair.cdr()
+#             global car(Data) and cdr(Data)
+#             Symbol.value(self)
+#             global islist(Data): recursive
+#             Data.issymbol(), Data.isint(), Symbol.issymbol(), Int.isint()
+#             islist(Data)
+# bug: Pair의 함수 이름과 필드 이름을 똑같이 car, cdr로 설정했었음.
+#      -> 필드를 _car, _cdr로 바꿈
+
+# Ph 5(car):    class Builtin
+#               global mkbuiltin, cplist
+#               Pair.setcar(Data)
+#               Integer.value()
+
+# Ph 7(clo):    class Closure
+#               Data.isclosure()
+#               global allsymbols(Data)
+#               from _error import *
+
+# Ph 10(var):   Closure.__init__ does not use allsymbols
+#               but checks the parameter types manually
+
+# Ph 11(macro): Macro(Data) class is a copycat of Closure(Data)
+#               Macro.isclosure()를 Macro.ismacro()로 대체
+#               Data.ismacro() 추가
+#               Macro 생성자를 호출하는 전역 함수 mkmacro 추가
+
+from ._error import ErrType, ErrSyntax
+
+class Data:
+    """클래스 Data는 머꼬의 모든 데이터 클래스의 부모 클래스입니다."""
+    def __init__(self):
+        """Data 클래스는 추상 클래스이므로 비워 두었습니다."""
+    def ispair(self) -> bool:
+        """짝(pair)인지 점검하는 함수. 짝이면 참"""
+        return False
+    def isnil(self) -> bool:
+        """공(nil)인지 점검하는 함수. 공이면 참"""
+        return False
+    def issymbol(self) -> bool:
+        return False
+    def isint(self) -> bool:
+        return False
+    def isstr(self) -> bool:
+        return False
+    def isbuiltin(self) -> bool:
+        return False
+    def isclosure(self) -> bool:
+        return False
+    def ismacro(self) -> bool:
+        return False
+    def value(self) -> None:
+        """ place holder for value """    
+        return None
+    def car(self) -> None:
+        """place holder for car"""
+        return None
+    def cdr(self) -> None:
+        """place holder for cdr"""
+        return None
+
+class Nil(Data):
+    def __init__(self):
+        pass
+    def __str__(self):
+        return "공"
+    def isnil(self) -> bool:
+        return True
+
+class Pair(Data):
+    def __init__(self, car_val: Data, cdr_val: Data):
+        self._car, self._cdr = car_val, cdr_val
+    def ispair(self) -> bool:
+        return True
+    def __str__(self) -> str:
+        rval = f"({self._car}"
+        tail = self._cdr
+        while not tail.isnil():
+            if tail.ispair():               # Bug230111: self.cdr.ispair() -> tail.ispair()
+                rval += f" {tail._car}"     # type: ignore
+                tail = tail._cdr            # type: ignore
+            else:
+                rval += f" . {tail}"
+                break                       # break가 꼭 필요함
+        rval += ")"
+        return rval
+    def setcar(self, car_val: Data) -> None:
+        self._car = car_val
+    def setcdr(self, cdr_val: Data) -> None:
+        self._cdr = cdr_val
+    def car(self) -> Data:
+        return self._car
+    def cdr(self) -> Data:
+        return self._cdr
+
+class Symbol(Data):
+    def __init__(self, s: str):
+        self._val = s
+    def issymbol(self) -> bool:
+        return True
+    def __str__(self) -> str:
+        return self._val
+    def value(self) -> str:
+        return self._val
+
+class Integer(Data):
+    def __init__(self, i: int):
+        self._val = i
+    def isint(self) -> bool:
+        return True
+    def __str__(self) -> str:
+        return str(self._val)
+    def value(self) -> int:
+        return self._val
+
+class String(Data):
+    def __init__(self, s: str):
+        self._val = s
+    def isstr(self) -> bool:
+        return True
+    def __str__(self) -> str:
+        return self._val                # Des250429: f'"{self._val}"'로 했다가 바꾸었음
+    def value(self) -> str:
+        return self._val
+
+class Builtin(Data):
+    def __init__(self, fn):
+        self._fun = fn
+    def isbuiltin(self) -> bool:
+        return not super().isbuiltin()
+    def __str__(self) -> str:
+        fname = f"{self._fun}".split()[2]
+        return f"#<내장 함수: {fname}>"
+    def fun(self):
+        return self._fun
+
+class Closure(Data):
+    def __init__(self, env: Data, params: Data, body: Data):
+        ## commented out for ch 10 (variadic)
+        # if not islist(params) or not islist(body):
+        #     raise ErrSyntax()      ####
+        # allsymbols(params)
+        if not islist(body):
+            raise ErrSyntax()
+        p = params
+        while not p.isnil():
+            if p.issymbol():    # the last symbol such as c in (f a b . c)
+                break
+            elif not p.ispair() or not car(p).issymbol():
+                raise ErrType("<#클로저>")
+            p = cdr(p)          # pyright: ignore[reportArgumentType]
+        self._val = cons(env, cons(params, body))
+    def isclosure(self) -> bool:
+        return not super().isclosure()
+    def __str__(self) -> str:
+        return f"#<클로저>"
+    def val(self) -> Data:          # returns the closure value (lambda)
+        return self._val
+    def env(self) -> Data:
+        return car(self._val)       # pyright: ignore[reportArgumentType]
+    def params(self) -> Data:
+        return car(cdr(self._val))  # pyright: ignore[reportArgumentType]
+    def body(self) -> Data:
+        return cdr(cdr(self._val))  # pyright: ignore[reportArgumentType]
+
+class Macro(Data):
+    def __init__(self, env: Data, params: Data, body: Data):
+        if not islist(body):
+            raise ErrSyntax()
+        p = params
+        while not p.isnil():
+            if p.issymbol():    # the last symbol such as c in (f a b . c)
+                break
+            elif not p.ispair() or not car(p).issymbol():
+                raise ErrType("<#매크로>")
+            p = cdr(p)          # pyright: ignore[reportArgumentType]
+        self._val = cons(env, cons(params, body))
+    def ismacro(self) -> bool:
+        return True
+    def __str__(self) -> str:
+        return f"#<매크로>"
+    def val(self) -> Data:          # returns the closure value (lambda)
+        return self._val
+
+def cons(car_val: Data, cdr_val: Data) -> Data:
+    return Pair(car_val, cdr_val)
+
+def car(p: Data) -> Data:
+    return p.car()
+
+def cdr(p: Data) -> Data:
+    return p.cdr()
+
+def mkint(ival: int) -> Data:
+    return Integer(ival)
+
+def mksym(sval: str) -> Data:
+    return Symbol(sval)
+
+def mkstr(sval: str) -> Data:
+    return String(sval)
+
+def mkbuiltin(fn) -> Data:
+    return Builtin(fn)
+
+def mkclosure(env: Data, params: Data, body: Data) -> Data:
+    return Closure(env, params, body)
+
+def mkmacro(env: Data, params: Data, body: Data) -> Data:
+    return Macro(env, params, body)
+
+
+nil = Nil()
+
+def islist(d: Data) -> bool:
+    if d.isnil():
+        return True
+    else:
+        return d.ispair() and islist(cdr(d))        # pyright: ignore[reportArgumentType] 
+        # Bug_20230104_a: cdr(d).ispair() -> islist(cdr(d))
+
+def cplist(ls: Data) -> Data:
+    if ls.isnil():
+        return nil
+    head = cons(car(ls), nil)               # pyright: ignore[reportArgumentType]
+    prev = head
+    ls = cdr(ls)                            # pyright: ignore[reportArgumentType]
+    while not ls.isnil():
+        prev.setcdr(cons(car(ls), nil))     # pyright: ignore[reportAttributeAccessIssue, reportArgumentType]
+        prev = cdr(prev)        # pyright: ignore[reportArgumentType]
+        ls = cdr(ls)            # pyright: ignore[reportArgumentType]
+    return head
+
+def allsymbols(params: Data) -> None:
+    p = params
+    while not p.isnil():
+        if not car(p).issymbol():       # pyright: ignore[reportArgumentType]
+            raise ErrType("<#클로저>")
+        p = cdr(p)                      # pyright: ignore[reportArgumentType]
+
+if __name__ == '__main__':
+    print(mkint(1910))
+    print(mksym("안녕"))
+    print(mkstr("안녕, 문자열?"))
+    print(cons(mkint(8), cons(mkint(2), cons(mkint(9), nil))))
+    print(cons(mkint(3), mkint(4)))

mowkow-0.1.0/mowkow/_error.py

@@ -0,0 +1,40 @@
+#coding: utf-8
+
+import sys
+
+IsVerbose = False
+
+def eprint(*args, **kwargs) -> None:
+    '''stderr에 출력하는 함수'''
+    print(*args, file=sys.stderr, **kwargs)
+
+# making the hierarchy of Errors
+# To do: enriching the arguments of errors
+#        translate into Korean
+
+class ErrLisp(Exception):
+    pass
+
+class ErrSyntax(ErrLisp):
+    def __init__(self:ErrLisp):
+        pass
+    def __str__(self:ErrLisp) -> str:
+        return "구문 오류"
+
+class ErrUnbound(ErrLisp):
+    def __init__(self, sym: str):
+        self.symname = sym
+    def __str__(self:ErrLisp) -> str:
+        return f"이름 '{self.symname}'을(를) 찾을 수 없습니다." # pyright: ignore[reportAttributeAccessIssue]
+
+class ErrArgs(ErrLisp):
+    def __init__(self, fun: str):
+        self.funname = fun
+    def __str__(self:ErrLisp) -> str:
+        return f"함수 {self.funname}: 인수 개수 오류입니다." # pyright: ignore[reportAttributeAccessIssue]
+
+class ErrType(ErrLisp):
+    def __init__(self, fun: str):
+        self.funname = fun
+    def __str__(self:ErrLisp) -> str:
+        return f"함수 {self.funname}: 타입 오류입니다." # pyright: ignore[reportAttributeAccessIssue]