Commit: caae86fc44c3d23102b8225e63fc6266edaf3fbd - cammy (git)

A categorical programming language

Commit MetaInfo

• Revision: caae86fc44c3d23102b8225e63fc6266edaf3fbd (tree)
• Time: 2022-09-19 02:41:02
• Author: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

Honey can evaluate nat/256 in the browser!

Change Summary

• modified: .envrc
• modified: honey.py
• modified: shell.nix
• add: update-openapi.sh

Incremental Difference

--- a/.envrc
+++ b/.envrc
@@ -3,3 +3,4 @@ use nix
 eval $(keychain --eval --agents ssh)
 
 # export CAMMY_HIVE="$(pwd)/hive/"
+export HONEY_HIVE="$(pwd)/hive.json"

--- a/honey.py
+++ b/honey.py
@@ -26,9 +26,122 @@ def home():
         <h2>Hive Stats</h2>
         <p>There are {dipperCount} dippers available.</p>
         <p>The heap has {heapCount} rows.</p>
+        <form id="dipper-form">
+            <input type="textbox" id="dipper" />
+            <button id="go" type="submit">Go!</button>
+        </form>
+        <div id="log">
+            <p>Log starts here</p>
+        </div>
+        <script type="text/javascript">
+            function log(s) {{
+                document.getElementById("log").innerHTML += s;
+            }}
+            function fetchJSON(url) {{
+                return fetch(url).then((resp) => resp.json());
+            }}
+            function extract(expr) {{
+                if (typeof expr === "string") {{
+                    return new Promise((resolve, reject) => resolve(expr));
+                }} else if (typeof expr === "number") {{
+                    const url = "/extract/" + expr;
+                    return fetchJSON(url).then(extract);
+                }} else if (Array.isArray(expr)) {{
+                    return Promise.all(expr.map(extract));
+                }} else {{
+                    console.log("Can't extract from", expr);
+                }}
+            }}
+            const prims = {{
+                "id": x => x,
+                "ignore": _ => null,
+                "fst": ([x, y]) => x,
+                "snd": ([x, y]) => y,
+                "zero": _ => 0,
+                "succ": n => n + 1,
+            }};
+            function compile(expr) {{
+                console.log("compile", expr);
+                if (Array.isArray(expr)) {{
+                    const l = expr.slice(1).map(compile);
+                    switch (expr[0]) {{
+                        case "comp": {{
+                            const [f, g] = l;
+                            return x => g(f(x));
+                        }}
+                        case "pair": {{
+                            const [f, g] = l;
+                            return x => [f(x), g(x)];
+                        }}
+                        case "curry": {{
+                            const [f] = l;
+                            return x => y => f([x, y]);
+                        }}
+                        case "uncurry": {{
+                            const [f] = l;
+                            return ([x, y]) => f(x)(y);
+                        }}
+                        case "pr": {{
+                            const [z, s] = l;
+                            return x => {{
+                                var rv = z(null);
+                                while (x !== 0) {{
+                                    x -= 1;
+                                    rv = s(rv);
+                                }}
+                                return rv;
+                            }}
+                        }}
+                        default:
+                            throw new TypeError("unknown constructor " +
+                                expr[0]);
+                    }}
+                }} else {{
+                    return prims[expr];
+                }}
+            }}
+            const textbox = document.getElementById("dipper");
+            document.getElementById("dipper-form").addEventListener("submit", (e) => {{
+                const url = "/dip/" + textbox.value;
+                log("<p>Got a click! Will fetch URL " + url + "</p>");
+                fetchJSON(url).then(({{expr, trail}}) => {{
+                    log("<p>Token is " + expr + "</p>");
+                    log("<p>Trail is " + trail + "</p>");
+                    const extracted = extract(expr);
+                    extracted.then((ex) => {{
+                        log("<p>Finished extraction, got " + ex + "</p>");
+                        const compiled = compile(ex);
+                        log("<p>Result: " + compiled(null) + "</p>");
+                    }});
+                }});
+                e.preventDefault();
+            }}, false);
+        </script>
     </body>
     """
 
+def substitute(context, expr):
+    if isinstance(expr, list):
+        return [expr[0]] + [substitute(context, sub) for sub in expr[1:]]
+    elif isinstance(expr, int):
+        return substitute(context, heap[expr])
+    elif isinstance(expr, str) and expr.startswith("@"):
+        return context[int(expr[1:])]
+    return expr
+
+FUNCTORS = "comp", "pair", "curry", "uncurry", "pr"
+
+def maybeApplyFunctor(expr):
+    if isinstance(expr, list) and expr[0] not in FUNCTORS:
+        context = expr[1:]
+        target = heap[symbols[expr[0]][0]]
+        return substitute(context, target)
+    return expr
+
[e-mail]("/extract/<int:token>")
+def extract(token):
+    return jsonify(maybeApplyFunctor(heap[token]))
+
 @app.route("/dippers")
 def dippers():
     return jsonify({name: url_for("dip", name=name) for name in symbols})
@@ -62,7 +175,7 @@ class Dip(MethodView):
         if name not in symbols:
             abort(404)
         index, trail = symbols[name]
-        return jsonify({"expr": resolve(index), "trail": trail})
+        return jsonify({"expr": index, "trail": trail})
 
     def put(self, name):
         d = request.get_json()

--- a/shell.nix
+++ b/shell.nix
@@ -44,6 +44,6 @@ in pkgs.stdenv.mkDerivation {
     # experimenting with hive management
     ranger
     # ???
-    openapi-generator-cli yaml2json
+    openapi-generator-cli yaml2json python3Packages.virtualenv
   ];
 }

--- /dev/null
+++ b/update-openapi.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+yaml2json <honey.yaml >honey.json
+openapi-generator-cli generate -i honey.json -o honey-flask/ -g python-flask