提交: cd87073975ed14b10dc277904b2d8dc732f7fb2e - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: cd87073975ed14b10dc277904b2d8dc732f7fb2e (tree)
• 时间: 2023-01-13 17:49:17
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Get new REPL to extract complete terms.

We're gonna hack a bit on new REPL, I guess.

更改概述

• modified: new-repl.py

差异

--- a/new-repl.py
+++ b/new-repl.py
@@ -1,49 +1,88 @@
 #!/usr/bin/env nix-shell
-#! nix-shell -i python -p python3Packages.requests python3Packages.click-repl
+#! nix-shell -i python -p python3Packages.requests
 
+import readline
+import sys
 from textwrap import dedent
 
-import click
-import click_repl
-
 import requests
 
[e-mail]()
-def cli():
-    pass
-
 def getJSON(url):
     try:
         return requests.get(url).json()
     except requests.exceptions.JSONDecodeError:
-        click.echo("Server response was not JSON")
+        print("Server response was not JSON")
+        raise
+
+def fetchDippers(base): return getJSON(base + "/dippers")
+
+class Extractor:
+    def __init__(self, base):
+        # XXX should this cache be sparse?
+        self.cache = {}
+        self.base = base
+
+    def extractExpr(self, expr):
+        if expr not in self.cache:
+            self.cache[expr] = getJSON(base + "/extract/" + str(expr))
+        return self.cache[expr]
 
[e-mail]()
-def size():
-    dippers = getJSON("http://localhost:5000/dippers")
-    if dippers:
-        click.echo("got dippers")
-        click.echo(len(dippers))
+    def fullyExtract(self, expr):
+        if isinstance(expr, int): return self.fullyExtract(self.extractExpr(expr))
+        elif isinstance(expr, list):
+            return [expr[0]] + [self.fullyExtract(ex) for ex in expr[1:]]
+        else: return expr
 
 def sexpify(expr):
     if isinstance(expr, list):
         return "(" + " ".join(sexpify(x) for x in expr) + ")"
     else: return expr
 
[e-mail]()
[e-mail]("name")
-def show(name):
-    obj = getJSON("http://localhost:5000/dip/" + name)
-    if obj:
-        trail = obj["trail"].strip()
-        expr = sexpify(obj["expr"])
-        click.echo(dedent("""
-        Name: {name}
-        Trail: {trail}
-        Dipped form: {expr}
-        """).strip().format(name=name, trail=trail, expr=expr))
-
-click_repl.register_repl(cli)
+def fetchDipper(base, name):
+    return getJSON(base + "/dip/" + name)
+
+class DipperCompleter:
+    def __init__(self, dippers):
+        self.cache = {}
+        self.dippers = dippers
+
+    def complete(self, text, state):
+        if text not in self.cache:
+            self.cache[text] = [d for d in self.dippers if d.startswith(text)]
+        if state < len(self.cache[text]): return self.cache[text][state]
+
+def repl(base):
+    print("Starting REPL with honey base", base)
+    extractor = Extractor(base)
+    done = False
+    while not done:
+        try:
+            line = input("> ")
+        except EOFError:
+            print("\nSee you later~")
+            done = True
+        else:
+            if line.startswith(":"):
+                print("I think it's a command")
+            else:
+                print("I think it's a sugared Cammy expression")
+                if line.startswith("("):
+                    print("I think it's an application")
+                else:
+                    print("I'm gonna guess that it's a dip!")
+                    obj = fetchDipper(base, line)
+                    trail = obj.get("trail", "").strip()
+                    if trail: print("Trail:", trail)
+                    term = extractor.fullyExtract(obj["expr"])
+                    print("Term:", sexpify(term))
+
+def installCompletion(dippers):
+    readline.parse_and_bind("tab: complete")
+    readline.set_completer(DipperCompleter(dippers).complete)
+    readline.set_completer_delims("() ")
 
 if __name__ == "__main__":
-    cli()
+    base = sys.argv[-1]
+    dippers = fetchDippers(base)
+    installCompletion(dippers)
+    repl(base)