Skip to content

Instantly share code, notes, and snippets.

@typeswitch-dev

typeswitch-dev/helloworld.json

Created December 16, 2021 20:31
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save typeswitch-dev/8202eeae6fdad30c31d0bc601dd66eaf to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save typeswitch-dev/8202eeae6fdad30c31d0bc601dd66eaf to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. typeswitch-dev created this gist Dec 16, 2021.
    3 changes: 3 additions & 0 deletions helloworld.json
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,3 @@
    {
    "main": ["lit", "Hello, world!", "print"]
    }
    94 changes: 94 additions & 0 deletions joyson.py
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,94 @@
    #!/usr/bin/env python3
    import json
    import sys

    class env:
    def __init__(self, mem=[]):
    self.ds = []
    self.rs = []
    self.ip = 0
    self.mem = mem
    self.dict = dict

    def dup(self):
    self.ds.append(self.ds[-1])

    def drop(self):
    self.ds.pop()

    def swap(self):
    x = self.ds.pop()
    y = self.ds.pop()
    self.ds.append(x)
    self.ds.append(y)

    def lit(self):
    self.ds.append(self.mem[self.ip])
    self.ip += 1

    def dip(self):
    block = self.ds.pop()
    value = self.ds.pop()
    oldmem = self.mem
    oldip = self.ip
    def kont(self):
    self.mem = oldmem
    self.ip = oldip
    self.ds.append(value)
    self.mem = block
    self.ip = 0
    self.rs.append(kont)

    def print(self):
    print(self.ds.pop())

    def call(self, val):
    if callable(val):
    val(self)
    elif isinstance(val, str):
    word = self.dict[val]
    if callable(word):
    word(self)
    elif isinstance(word, list):
    oldmem = self.mem
    oldip = self.ip
    def kont(self):
    self.mem = oldmem
    self.ip = oldip
    self.rs.append(kont)
    self.mem = word
    self.ip = 0
    else:
    raise TypeError("unexpected definition:", val, "->", word)
    else:
    self.ds.append(val)

    def run(self):
    while True:
    if self.ip < len(self.mem):
    word = self.mem[self.ip]
    self.ip += 1
    self.call(word)
    elif len(self.rs) > 0:
    k = self.rs.pop()
    k(self)
    else:
    break
    return self

    dict = {
    "dup": env.dup,
    "drop": env.drop,
    "swap": env.swap,
    "lit": env.lit,
    "dip": env.dip,
    "print": env.print,
    }

    with open(sys.argv[1], "r") as fp:
    code = json.load(fp)
    dict.update(code)

    e = env(["main"]).run()
    if e.ds:
    print(e.ds)