diff options
Diffstat (limited to 'src/toys/godel')
| -rw-r--r-- | src/toys/godel/index.html | 51 | ||||
| -rw-r--r-- | src/toys/godel/js/compiler.js | 226 | ||||
| -rw-r--r-- | src/toys/godel/js/godel-worker.js | 42 | ||||
| -rw-r--r-- | src/toys/godel/js/main.js | 5 | ||||
| -rw-r--r-- | src/toys/godel/js/parser.js | 1059 | ||||
| -rw-r--r-- | src/toys/godel/js/ui.js | 224 |
6 files changed, 0 insertions, 1607 deletions
diff --git a/src/toys/godel/index.html b/src/toys/godel/index.html deleted file mode 100644 index 50a680a..0000000 --- a/src/toys/godel/index.html +++ /dev/null @@ -1,51 +0,0 @@ -<!DOCTYPE html> -<html lang="en"> -<head> - <meta charset="UTF-8"> - <meta name="viewport" content="width=device-width, initial-scale=1.0"> - <link rel="stylesheet" href="https://adelie.liz.coffee/bundle.css"> - <title>Gödel Numbering</title> -</head> -<body> - <main> - <article> - <h3>Gödel Numbering</h3> - <section> - <div> - <h4>L Source</h4> - <div id="source-editor" class="code-editor-container mb-sm" aria-label="L source code"></div> - <div> - <button id="compile-btn" class="primary">Compile</button> - <button id="copy-btn">Copy State Link</button> - </div> - <span id="compile-status" class="status-text muted"></span> - </div> - </section> - - <section class="mt-sm"> - <div> - <h4>"Compiled" JS</h4> - <div id="compiled-editor" class="code-editor-container mb-sm" aria-label="Compiled JavaScript"></div> - <div class="button-group"> - <button id="eval-btn">Eval</button> - </div> - <span id="eval-status" class="status-text muted"></span> - </div> - </section> - - <section class="mt-sm"> - <h4>Gödel Sequence</h4> - <pre id="godel-sequence">Compile to view the Gödel sequence.</pre> - <div> - <button id="compute-godel-btn">Compute Gödel Number</button> - </div> - <pre id="godel-number"></pre> - </section> - </article> - </main> - - <script src="https://adelie.liz.coffee/bundle.js"></script> - <script src="https://adelie.liz.coffee/adelie-editor.js"></script> - <script type="module" src="./js/main.js"></script> -</body> -</html> diff --git a/src/toys/godel/js/compiler.js b/src/toys/godel/js/compiler.js deleted file mode 100644 index d15c0f4..0000000 --- a/src/toys/godel/js/compiler.js +++ /dev/null @@ -1,226 +0,0 @@ -const INDENT_SIZE = 2; - -class CodeBuilder { - constructor(indentSize = INDENT_SIZE) { - this.indentSize = indentSize; - this.indentLevel = 0; - this.parts = []; - } - - addLine(line = "") { - const indent = " ".repeat(this.indentLevel * this.indentSize); - this.parts.push(line ? `${indent}${line}` : ""); - } - - open(line) { - if (line) { - this.addLine(line); - } - this.indentLevel += 1; - } - - close(line) { - this.indentLevel = Math.max(0, this.indentLevel - 1); - if (line) { - this.addLine(line); - } - } - - toString() { - return this.parts.join("\n"); - } -} - -const compileGoto = (gotoNode, builder) => { - builder.addLine(`this.followGoto("${gotoNode.label.symbol}");`); - builder.addLine("return;"); -}; - -const compileConditional = (conditionalNode, builder) => { - const variable = conditionalNode.variable.symbol; - builder.addLine(`if (this.get("${variable}") !== 0) {`); - builder.open(); - compileGoto(conditionalNode.goto, builder); - builder.close("}"); -}; - -const compileAssignment = (assignmentNode, builder) => { - const variable = assignmentNode.variable.symbol; - const expr = assignmentNode.expr || {}; - - if (expr.opr === "+") { - builder.addLine(`this.addOne("${variable}");`); - } else if (expr.opr === "-") { - builder.addLine(`this.subtractOne("${variable}");`); - } else { - builder.addLine("// noop"); - } -}; - -const compileInstruction = (instruction, builder) => { - if (instruction.goto) { - compileGoto(instruction.goto, builder); - return; - } - - if (instruction.conditional) { - compileConditional(instruction.conditional, builder); - } else if (instruction.assignment) { - compileAssignment(instruction.assignment, builder); - } - - builder.addLine("this.instructionPointer++;"); -}; - -const emitMethod = (builder, signature, bodyFn) => { - builder.addLine(`${signature} {`); - builder.open(); - bodyFn(); - builder.close("}"); - builder.addLine(""); -}; - -const emitConstructor = (builder, ast, godelSequence, methodCatalog) => { - emitMethod(builder, "constructor()", () => { - builder.addLine("this.variables = new Map();"); - builder.addLine("this.labelInstructions = new Map();"); - builder.addLine("this.instructions = new Map();"); - builder.addLine("this.instructions.set(0, () => this.main());"); - builder.addLine("this.instructionPointer = 0;"); - builder.addLine('this.variables.set("Y", 0);'); - builder.addLine(`this.finalInstruction = ${ast.instructions.length + 1};`); - builder.addLine('this.labelInstructions.set("E1", this.finalInstruction);'); - builder.addLine(""); - builder.addLine("// instruction bindings"); - - ast.instructions.forEach((entry, index) => { - const instructionNode = entry.instruction; - const instructionIdx = index + 1; - godelSequence.push(entry.godel); - - if (instructionNode.label) { - const labelName = instructionNode.label.symbol; - builder.addLine( - `this.instructions.set(${instructionIdx}, () => this.${labelName}());` - ); - builder.addLine( - `this.labelInstructions.set("${labelName}", ${instructionIdx});` - ); - methodCatalog.push({ - name: labelName, - index: instructionIdx, - node: instructionNode.instruction - }); - } else { - const methodName = `instruction${instructionIdx}`; - builder.addLine( - `this.instructions.set(${instructionIdx}, () => this.${methodName}());` - ); - methodCatalog.push({ - name: methodName, - index: instructionIdx, - node: instructionNode - }); - } - }); - }); -}; - -const emitRuntimeHelpers = (builder, instructionCount) => { - emitMethod(builder, "get(variable)", () => { - builder.addLine("if (!this.variables.has(variable)) {"); - builder.open(); - builder.addLine("this.variables.set(variable, 0);"); - builder.close("}"); - builder.addLine("return this.variables.get(variable);"); - }); - - emitMethod(builder, "addOne(variable)", () => { - builder.addLine("const val = this.get(variable);"); - builder.addLine("this.variables.set(variable, val + 1);"); - }); - - emitMethod(builder, "subtractOne(variable)", () => { - builder.addLine("const val = this.get(variable);"); - builder.addLine("this.variables.set(variable, val - 1);"); - }); - - emitMethod(builder, "followGoto(label)", () => { - builder.addLine("this.instructionPointer = this.labelInstructions.get(label);"); - }); - - emitMethod(builder, "step()", () => { - builder.addLine("if (!this.isCompleted()) {"); - builder.open(); - builder.addLine("const procedure = this.instructions.get(this.instructionPointer);"); - builder.addLine("procedure();"); - builder.close("}"); - builder.addLine("return this.instructionPointer;"); - }); - - emitMethod(builder, "isCompleted()", () => { - builder.addLine("return this.instructionPointer === this.finalInstruction;"); - }); - - emitMethod(builder, "getResult()", () => { - builder.addLine('return this.variables.get("Y");'); - }); - - emitMethod(builder, "run(maxIter = 500_000)", () => { - builder.addLine("let iter = 0;"); - builder.addLine("while (!this.isCompleted() && ++iter < maxIter) {"); - builder.open(); - builder.addLine("this.step();"); - builder.close("}"); - builder.addLine("if (iter < maxIter) {"); - builder.open(); - builder.addLine("return this.getResult();"); - builder.close("}"); - builder.addLine( - 'throw new Error("Program exceeded iteration limit. Try optimizing your instructions or increasing the cap.");' - ); - }); - - emitMethod(builder, "main()", () => { - if (instructionCount > 0) { - builder.addLine("this.instructionPointer = 1;"); - } else { - builder.addLine("this.instructionPointer = this.finalInstruction;"); - } - }); -}; - -const emitInstructionMethods = (builder, catalog) => { - catalog.forEach((entry) => { - emitMethod(builder, `${entry.name}()`, () => { - builder.addLine(`this.instructionPointer = ${entry.index};`); - compileInstruction(entry.node, builder); - }); - }); -}; - -export const compileProgram = (ast) => { - const builder = new CodeBuilder(); - const godelSequence = []; - const methodCatalog = []; - - builder.addLine("class Program {"); - builder.open(); - emitConstructor(builder, ast, godelSequence, methodCatalog); - emitRuntimeHelpers(builder, ast.instructions.length); - emitInstructionMethods(builder, methodCatalog); - builder.close("}"); - builder.addLine(""); - builder.addLine("// bootstrap"); - builder.addLine("const program = new Program();"); - builder.addLine('// program.variables.set("X1", 2);'); - builder.addLine('// program.variables.set("X2", 3);'); - builder.addLine("program.run();"); - builder.addLine("console.log(program.variables);"); - builder.addLine("program.getResult();"); - - return { - js: builder.toString(), - godelSequence - }; -}; diff --git a/src/toys/godel/js/godel-worker.js b/src/toys/godel/js/godel-worker.js deleted file mode 100644 index 1ba9da4..0000000 --- a/src/toys/godel/js/godel-worker.js +++ /dev/null @@ -1,42 +0,0 @@ -const isPrime = (n) => { - if (n < 2) { - return false; - } - if (n === 2) { - return true; - } - if (n % 2 === 0) { - return false; - } - const limit = Math.floor(Math.sqrt(n)); - for (let i = 3; i <= limit; i += 2) { - if (n % i === 0) { - return false; - } - } - return true; -}; - -const primes = [2]; -const primeAt = (index) => { - while (primes.length < index) { - let candidate = primes[primes.length - 1] + 1; - while (!isPrime(candidate)) { - candidate += 1; - } - primes.push(candidate); - } - return primes[index - 1]; -}; - -const computeGodelNumber = (sequence) => { - return sequence.reduce((acc, exponent, idx) => { - const prime = BigInt(primeAt(idx + 1)); - return acc * prime ** BigInt(exponent); - }, BigInt(1)) - BigInt(1); -}; - -self.addEventListener("message", (event) => { - const result = computeGodelNumber(event.data); - self.postMessage(result.toString()); -}); diff --git a/src/toys/godel/js/main.js b/src/toys/godel/js/main.js deleted file mode 100644 index b752206..0000000 --- a/src/toys/godel/js/main.js +++ /dev/null @@ -1,5 +0,0 @@ -import { GodelPlayground } from "./ui.js"; - -document.addEventListener("DOMContentLoaded", () => { - new GodelPlayground(); -}); diff --git a/src/toys/godel/js/parser.js b/src/toys/godel/js/parser.js deleted file mode 100644 index a9436b6..0000000 --- a/src/toys/godel/js/parser.js +++ /dev/null @@ -1,1059 +0,0 @@ -const parser = /* - * Generated by PEG.js 0.10.0. - * - * http://pegjs.org/ - */ -(function() { - "use strict"; - - function peg$subclass(child, parent) { - function ctor() { this.constructor = child; } - ctor.prototype = parent.prototype; - child.prototype = new ctor(); - } - - function peg$SyntaxError(message, expected, found, location) { - this.message = message; - this.expected = expected; - this.found = found; - this.location = location; - this.name = "SyntaxError"; - - if (typeof Error.captureStackTrace === "function") { - Error.captureStackTrace(this, peg$SyntaxError); - } - } - - peg$subclass(peg$SyntaxError, Error); - - peg$SyntaxError.buildMessage = function(expected, found) { - var DESCRIBE_EXPECTATION_FNS = { - literal: function(expectation) { - return "\"" + literalEscape(expectation.text) + "\""; - }, - - "class": function(expectation) { - var escapedParts = "", - i; - - for (i = 0; i < expectation.parts.length; i++) { - escapedParts += expectation.parts[i] instanceof Array - ? classEscape(expectation.parts[i][0]) + "-" + classEscape(expectation.parts[i][1]) - : classEscape(expectation.parts[i]); - } - - return "[" + (expectation.inverted ? "^" : "") + escapedParts + "]"; - }, - - any: function(expectation) { - return "any character"; - }, - - end: function(expectation) { - return "end of input"; - }, - - other: function(expectation) { - return expectation.description; - } - }; - - function hex(ch) { - return ch.charCodeAt(0).toString(16).toUpperCase(); - } - - function literalEscape(s) { - return s - .replace(/\\/g, '\\\\') - .replace(/"/g, '\\"') - .replace(/\0/g, '\\0') - .replace(/\t/g, '\\t') - .replace(/\n/g, '\\n') - .replace(/\r/g, '\\r') - .replace(/[\x00-\x0F]/g, function(ch) { return '\\x0' + hex(ch); }) - .replace(/[\x10-\x1F\x7F-\x9F]/g, function(ch) { return '\\x' + hex(ch); }); - } - - function classEscape(s) { - return s - .replace(/\\/g, '\\\\') - .replace(/\]/g, '\\]') - .replace(/\^/g, '\\^') - .replace(/-/g, '\\-') - .replace(/\0/g, '\\0') - .replace(/\t/g, '\\t') - .replace(/\n/g, '\\n') - .replace(/\r/g, '\\r') - .replace(/[\x00-\x0F]/g, function(ch) { return '\\x0' + hex(ch); }) - .replace(/[\x10-\x1F\x7F-\x9F]/g, function(ch) { return '\\x' + hex(ch); }); - } - - function describeExpectation(expectation) { - return DESCRIBE_EXPECTATION_FNS[expectation.type](expectation); - } - - function describeExpected(expected) { - var descriptions = new Array(expected.length), - i, j; - - for (i = 0; i < expected.length; i++) { - descriptions[i] = describeExpectation(expected[i]); - } - - descriptions.sort(); - - if (descriptions.length > 0) { - for (i = 1, j = 1; i < descriptions.length; i++) { - if (descriptions[i - 1] !== descriptions[i]) { - descriptions[j] = descriptions[i]; - j++; - } - } - descriptions.length = j; - } - - switch (descriptions.length) { - case 1: - return descriptions[0]; - - case 2: - return descriptions[0] + " or " + descriptions[1]; - - default: - return descriptions.slice(0, -1).join(", ") - + ", or " - + descriptions[descriptions.length - 1]; - } - } - - function describeFound(found) { - return found ? "\"" + literalEscape(found) + "\"" : "end of input"; - } - - return "Expected " + describeExpected(expected) + " but " + describeFound(found) + " found."; - }; - - function peg$parse(input, options) { - options = options !== void 0 ? options : {}; - - var peg$FAILED = {}, - - peg$startRuleFunctions = { Program: peg$parseProgram }, - peg$startRuleFunction = peg$parseProgram, - - peg$c0 = /^[\n]/, - peg$c1 = peg$classExpectation(["\n"], false, false), - peg$c2 = function(lines) { - return { instructions: lines.filter((line) => typeof line !== "string" || line.trim() != "") }; - }, - peg$c3 = function(instruction) { - let x = 0; - let y = 0; - if (instruction.label) { - x = instruction.label.godel; - y = instruction.instruction.godel; - } else { - y = instruction.godel; - } - return { instruction, godel: ((2 ** x) * ((2 * y) + 1) - 1) }; - }, - peg$c4 = function(label, instruction) { - return { label, instruction }; - }, - peg$c5 = "[", - peg$c6 = peg$literalExpectation("[", false), - peg$c7 = "]", - peg$c8 = peg$literalExpectation("]", false), - peg$c9 = function(label) { - return label; - }, - peg$c10 = function(conditional) { return { conditional, godel: conditional.godel }; }, - peg$c11 = function(assignment) { return { assignment, godel: assignment.godel }; }, - peg$c12 = function(goto) { return { goto, godel: goto.godel }; }, - peg$c13 = function(label) { - return { label, godel: label.godel + 2 }; - }, - peg$c14 = "IF", - peg$c15 = peg$literalExpectation("IF", false), - peg$c16 = "!=", - peg$c17 = peg$literalExpectation("!=", false), - peg$c18 = "0", - peg$c19 = peg$literalExpectation("0", false), - peg$c20 = function(variable, goto) { - const y = variable.godel - 1; - const x = goto.godel; - return { variable, goto, godel: ((2 ** x) * ((2 * y) + 1) - 1) }; - }, - peg$c21 = "<-", - peg$c22 = peg$literalExpectation("<-", false), - peg$c23 = function(variable, expr) { - if (expr.left.symbol != variable.symbol) { - error("left hand variable must match right hand"); - } - const x = expr.instructionNumber; - const y = variable.godel - 1; - return { variable, expr, godel: ((2 ** x) * ((2 * y) + 1) - 1) }; - }, - peg$c24 = "1", - peg$c25 = peg$literalExpectation("1", false), - peg$c26 = function(left, opr) { - const instructionNumber = { "+" : 1, "-" : 2 }[opr]; - return { left, opr, instructionNumber }; - }, - peg$c27 = function(left) { - return { left, instructionNumber: 0 }; - }, - peg$c28 = "Y", - peg$c29 = peg$literalExpectation("Y", false), - peg$c30 = function(symbol) { return { symbol, godel: 1 }; }, - peg$c31 = "X", - peg$c32 = peg$literalExpectation("X", false), - peg$c33 = "Z", - peg$c34 = peg$literalExpectation("Z", false), - peg$c35 = function(symbol, ind) { - const index = parseInt(ind); - const order = ["X", "Z"]; - const godel = index * order.length + order.indexOf(symbol); - return { symbol: symbol + ind, godel }; - }, - peg$c36 = "GOTO", - peg$c37 = peg$literalExpectation("GOTO", false), - peg$c38 = "+", - peg$c39 = peg$literalExpectation("+", false), - peg$c40 = "-", - peg$c41 = peg$literalExpectation("-", false), - peg$c42 = /^[A-E]/, - peg$c43 = peg$classExpectation([["A", "E"]], false, false), - peg$c44 = function(symbol, ind) { - const index = parseInt(ind); - const godel = (symbol.charCodeAt(0) - "A".charCodeAt(0) + 1) + 5*(index-1); - return { symbol: symbol + ind, godel }; - }, - peg$c45 = peg$otherExpectation("integer"), - peg$c46 = /^[0-9]/, - peg$c47 = peg$classExpectation([["0", "9"]], false, false), - peg$c48 = function() { return parseInt(text(), 10); }, - peg$c49 = peg$otherExpectation("whitespace"), - peg$c50 = /^[ \t]/, - peg$c51 = peg$classExpectation([" ", "\t"], false, false), - peg$c52 = function() { }, - - peg$currPos = 0, - peg$savedPos = 0, - peg$posDetailsCache = [{ line: 1, column: 1 }], - peg$maxFailPos = 0, - peg$maxFailExpected = [], - peg$silentFails = 0, - - peg$result; - - if ("startRule" in options) { - if (!(options.startRule in peg$startRuleFunctions)) { - throw new Error("Can't start parsing from rule \"" + options.startRule + "\"."); - } - - peg$startRuleFunction = peg$startRuleFunctions[options.startRule]; - } - - function text() { - return input.substring(peg$savedPos, peg$currPos); - } - - function location() { - return peg$computeLocation(peg$savedPos, peg$currPos); - } - - function expected(description, location) { - location = location !== void 0 ? location : peg$computeLocation(peg$savedPos, peg$currPos) - - throw peg$buildStructuredError( - [peg$otherExpectation(description)], - input.substring(peg$savedPos, peg$currPos), - location - ); - } - - function error(message, location) { - location = location !== void 0 ? location : peg$computeLocation(peg$savedPos, peg$currPos) - - throw peg$buildSimpleError(message, location); - } - - function peg$literalExpectation(text, ignoreCase) { - return { type: "literal", text: text, ignoreCase: ignoreCase }; - } - - function peg$classExpectation(parts, inverted, ignoreCase) { - return { type: "class", parts: parts, inverted: inverted, ignoreCase: ignoreCase }; - } - - function peg$anyExpectation() { - return { type: "any" }; - } - - function peg$endExpectation() { - return { type: "end" }; - } - - function peg$otherExpectation(description) { - return { type: "other", description: description }; - } - - function peg$computePosDetails(pos) { - var details = peg$posDetailsCache[pos], p; - - if (details) { - return details; - } else { - p = pos - 1; - while (!peg$posDetailsCache[p]) { - p--; - } - - details = peg$posDetailsCache[p]; - details = { - line: details.line, - column: details.column - }; - - while (p < pos) { - if (input.charCodeAt(p) === 10) { - details.line++; - details.column = 1; - } else { - details.column++; - } - - p++; - } - - peg$posDetailsCache[pos] = details; - return details; - } - } - - function peg$computeLocation(startPos, endPos) { - var startPosDetails = peg$computePosDetails(startPos), - endPosDetails = peg$computePosDetails(endPos); - - return { - start: { - offset: startPos, - line: startPosDetails.line, - column: startPosDetails.column - }, - end: { - offset: endPos, - line: endPosDetails.line, - column: endPosDetails.column - } - }; - } - - function peg$fail(expected) { - if (peg$currPos < peg$maxFailPos) { return; } - - if (peg$currPos > peg$maxFailPos) { - peg$maxFailPos = peg$currPos; - peg$maxFailExpected = []; - } - - peg$maxFailExpected.push(expected); - } - - function peg$buildSimpleError(message, location) { - return new peg$SyntaxError(message, null, null, location); - } - - function peg$buildStructuredError(expected, found, location) { - return new peg$SyntaxError( - peg$SyntaxError.buildMessage(expected, found), - expected, - found, - location - ); - } - - function peg$parseProgram() { - var s0, s1, s2; - - s0 = peg$currPos; - s1 = []; - s2 = peg$parseProgramInstruction(); - if (s2 === peg$FAILED) { - s2 = peg$parse_(); - if (s2 === peg$FAILED) { - if (peg$c0.test(input.charAt(peg$currPos))) { - s2 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s2 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c1); } - } - } - } - while (s2 !== peg$FAILED) { - s1.push(s2); - s2 = peg$parseProgramInstruction(); - if (s2 === peg$FAILED) { - s2 = peg$parse_(); - if (s2 === peg$FAILED) { - if (peg$c0.test(input.charAt(peg$currPos))) { - s2 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s2 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c1); } - } - } - } - } - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c2(s1); - } - s0 = s1; - - return s0; - } - - function peg$parseProgramInstruction() { - var s0, s1, s2, s3, s4; - - s0 = peg$currPos; - s1 = peg$parse_(); - if (s1 === peg$FAILED) { - s1 = null; - } - if (s1 !== peg$FAILED) { - s2 = peg$parseLabeledInstruction(); - if (s2 === peg$FAILED) { - s2 = peg$parseInstruction(); - } - if (s2 !== peg$FAILED) { - s3 = peg$parse_(); - if (s3 === peg$FAILED) { - s3 = null; - } - if (s3 !== peg$FAILED) { - if (peg$c0.test(input.charAt(peg$currPos))) { - s4 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s4 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c1); } - } - if (s4 === peg$FAILED) { - s4 = null; - } - if (s4 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c3(s2); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseLabeledInstruction() { - var s0, s1, s2, s3; - - s0 = peg$currPos; - s1 = peg$parseLabel(); - if (s1 !== peg$FAILED) { - s2 = peg$parse_(); - if (s2 !== peg$FAILED) { - s3 = peg$parseInstruction(); - if (s3 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c4(s1, s3); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseLabel() { - var s0, s1, s2, s3, s4, s5; - - s0 = peg$currPos; - if (input.charCodeAt(peg$currPos) === 91) { - s1 = peg$c5; - peg$currPos++; - } else { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c6); } - } - if (s1 !== peg$FAILED) { - s2 = peg$parse_(); - if (s2 === peg$FAILED) { - s2 = null; - } - if (s2 !== peg$FAILED) { - s3 = peg$parseLABEL_V(); - if (s3 !== peg$FAILED) { - s4 = peg$parse_(); - if (s4 === peg$FAILED) { - s4 = null; - } - if (s4 !== peg$FAILED) { - if (input.charCodeAt(peg$currPos) === 93) { - s5 = peg$c7; - peg$currPos++; - } else { - s5 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c8); } - } - if (s5 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c9(s3); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseInstruction() { - var s0, s1; - - s0 = peg$currPos; - s1 = peg$parseConditional(); - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c10(s1); - } - s0 = s1; - if (s0 === peg$FAILED) { - s0 = peg$currPos; - s1 = peg$parseAssignment(); - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c11(s1); - } - s0 = s1; - if (s0 === peg$FAILED) { - s0 = peg$currPos; - s1 = peg$parseGoto(); - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c12(s1); - } - s0 = s1; - } - } - - return s0; - } - - function peg$parseGoto() { - var s0, s1, s2, s3; - - s0 = peg$currPos; - s1 = peg$parseGOTO(); - if (s1 !== peg$FAILED) { - s2 = peg$parse_(); - if (s2 !== peg$FAILED) { - s3 = peg$parseLABEL_V(); - if (s3 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c13(s3); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseConditional() { - var s0, s1, s2, s3, s4, s5, s6, s7, s8, s9; - - s0 = peg$currPos; - if (input.substr(peg$currPos, 2) === peg$c14) { - s1 = peg$c14; - peg$currPos += 2; - } else { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c15); } - } - if (s1 !== peg$FAILED) { - s2 = peg$parse_(); - if (s2 !== peg$FAILED) { - s3 = peg$parseVAR(); - if (s3 !== peg$FAILED) { - s4 = peg$parse_(); - if (s4 === peg$FAILED) { - s4 = null; - } - if (s4 !== peg$FAILED) { - if (input.substr(peg$currPos, 2) === peg$c16) { - s5 = peg$c16; - peg$currPos += 2; - } else { - s5 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c17); } - } - if (s5 !== peg$FAILED) { - s6 = peg$parse_(); - if (s6 === peg$FAILED) { - s6 = null; - } - if (s6 !== peg$FAILED) { - if (input.charCodeAt(peg$currPos) === 48) { - s7 = peg$c18; - peg$currPos++; - } else { - s7 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c19); } - } - if (s7 !== peg$FAILED) { - s8 = peg$parse_(); - if (s8 !== peg$FAILED) { - s9 = peg$parseGoto(); - if (s9 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c20(s3, s9); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseAssignment() { - var s0, s1, s2, s3, s4, s5; - - s0 = peg$currPos; - s1 = peg$parseVAR(); - if (s1 !== peg$FAILED) { - s2 = peg$parse_(); - if (s2 !== peg$FAILED) { - if (input.substr(peg$currPos, 2) === peg$c21) { - s3 = peg$c21; - peg$currPos += 2; - } else { - s3 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c22); } - } - if (s3 !== peg$FAILED) { - s4 = peg$parse_(); - if (s4 !== peg$FAILED) { - s5 = peg$parseExpression(); - if (s5 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c23(s1, s5); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseExpression() { - var s0, s1, s2, s3, s4, s5; - - s0 = peg$currPos; - s1 = peg$parseVAR(); - if (s1 !== peg$FAILED) { - s2 = peg$parse_(); - if (s2 !== peg$FAILED) { - s3 = peg$parseOPERATION(); - if (s3 !== peg$FAILED) { - s4 = peg$parse_(); - if (s4 !== peg$FAILED) { - if (input.charCodeAt(peg$currPos) === 49) { - s5 = peg$c24; - peg$currPos++; - } else { - s5 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c25); } - } - if (s5 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c26(s1, s3); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - if (s0 === peg$FAILED) { - s0 = peg$currPos; - s1 = peg$parseVAR(); - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c27(s1); - } - s0 = s1; - } - - return s0; - } - - function peg$parseVAR() { - var s0, s1, s2, s3; - - s0 = peg$currPos; - if (input.charCodeAt(peg$currPos) === 89) { - s1 = peg$c28; - peg$currPos++; - } else { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c29); } - } - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c30(s1); - } - s0 = s1; - if (s0 === peg$FAILED) { - s0 = peg$currPos; - if (input.charCodeAt(peg$currPos) === 88) { - s1 = peg$c31; - peg$currPos++; - } else { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c32); } - } - if (s1 === peg$FAILED) { - if (input.charCodeAt(peg$currPos) === 90) { - s1 = peg$c33; - peg$currPos++; - } else { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c34); } - } - } - if (s1 !== peg$FAILED) { - s2 = []; - s3 = peg$parseInteger(); - if (s3 !== peg$FAILED) { - while (s3 !== peg$FAILED) { - s2.push(s3); - s3 = peg$parseInteger(); - } - } else { - s2 = peg$FAILED; - } - if (s2 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c35(s1, s2); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } - - return s0; - } - - function peg$parseGOTO() { - var s0; - - if (input.substr(peg$currPos, 4) === peg$c36) { - s0 = peg$c36; - peg$currPos += 4; - } else { - s0 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c37); } - } - - return s0; - } - - function peg$parseOPERATION() { - var s0; - - if (input.charCodeAt(peg$currPos) === 43) { - s0 = peg$c38; - peg$currPos++; - } else { - s0 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c39); } - } - if (s0 === peg$FAILED) { - if (input.charCodeAt(peg$currPos) === 45) { - s0 = peg$c40; - peg$currPos++; - } else { - s0 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c41); } - } - } - - return s0; - } - - function peg$parseLABEL_V() { - var s0, s1, s2, s3; - - s0 = peg$currPos; - if (peg$c42.test(input.charAt(peg$currPos))) { - s1 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c43); } - } - if (s1 !== peg$FAILED) { - s2 = []; - s3 = peg$parseInteger(); - if (s3 !== peg$FAILED) { - while (s3 !== peg$FAILED) { - s2.push(s3); - s3 = peg$parseInteger(); - } - } else { - s2 = peg$FAILED; - } - if (s2 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c44(s1, s2); - s0 = s1; - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - } else { - peg$currPos = s0; - s0 = peg$FAILED; - } - - return s0; - } - - function peg$parseInteger() { - var s0, s1, s2; - - peg$silentFails++; - s0 = peg$currPos; - s1 = []; - if (peg$c46.test(input.charAt(peg$currPos))) { - s2 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s2 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c47); } - } - if (s2 !== peg$FAILED) { - while (s2 !== peg$FAILED) { - s1.push(s2); - if (peg$c46.test(input.charAt(peg$currPos))) { - s2 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s2 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c47); } - } - } - } else { - s1 = peg$FAILED; - } - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c48(); - } - s0 = s1; - peg$silentFails--; - if (s0 === peg$FAILED) { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c45); } - } - - return s0; - } - - function peg$parse_() { - var s0, s1, s2; - - peg$silentFails++; - s0 = peg$currPos; - s1 = []; - if (peg$c50.test(input.charAt(peg$currPos))) { - s2 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s2 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c51); } - } - if (s2 !== peg$FAILED) { - while (s2 !== peg$FAILED) { - s1.push(s2); - if (peg$c50.test(input.charAt(peg$currPos))) { - s2 = input.charAt(peg$currPos); - peg$currPos++; - } else { - s2 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c51); } - } - } - } else { - s1 = peg$FAILED; - } - if (s1 !== peg$FAILED) { - peg$savedPos = s0; - s1 = peg$c52(); - } - s0 = s1; - peg$silentFails--; - if (s0 === peg$FAILED) { - s1 = peg$FAILED; - if (peg$silentFails === 0) { peg$fail(peg$c49); } - } - - return s0; - } - - peg$result = peg$startRuleFunction(); - - if (peg$result !== peg$FAILED && peg$currPos === input.length) { - return peg$result; - } else { - if (peg$result !== peg$FAILED && peg$currPos < input.length) { - peg$fail(peg$endExpectation()); - } - - throw peg$buildStructuredError( - peg$maxFailExpected, - peg$maxFailPos < input.length ? input.charAt(peg$maxFailPos) : null, - peg$maxFailPos < input.length - ? peg$computeLocation(peg$maxFailPos, peg$maxFailPos + 1) - : peg$computeLocation(peg$maxFailPos, peg$maxFailPos) - ); - } - } - - return { - SyntaxError: peg$SyntaxError, - parse: peg$parse - }; -})(); - -export default parser; -export const SyntaxError = parser.SyntaxError; diff --git a/src/toys/godel/js/ui.js b/src/toys/godel/js/ui.js deleted file mode 100644 index 97e5209..0000000 --- a/src/toys/godel/js/ui.js +++ /dev/null @@ -1,224 +0,0 @@ -import parser from "./parser.js"; -import { compileProgram } from "./compiler.js"; - -const SAMPLE_PROGRAM = `// THIS PROGRAM COMPUTES X1 + X2 - -// Y <- X1 -[ A1 ] IF X1 != 0 GOTO A2 - GOTO B1 -[ A2 ] X1 <- X1 - 1 - Y <- Y + 1 - GOTO A1 - -// Z1 <- X2 -[ B1 ] IF X2 != 0 GOTO B2 - GOTO C1 -[ B2 ] X2 <- X2 - 1 - Z1 <- Z1 + 1 - GOTO B1 - -// Y <- Y + Z1 -[ C1 ] IF Z1 != 0 GOTO C2 - GOTO E1 -[ C2 ] Z1 <- Z1 - 1 - Y <- Y + 1 - GOTO C1`; - -const STATUS_VARIANTS = { - success: "text-success", - error: "text-error", - info: "muted" -}; - -export class GodelPlayground { - constructor() { - this.elements = { - compileBtn: document.getElementById("compile-btn"), - copyBtn: document.getElementById("copy-btn"), - evalBtn: document.getElementById("eval-btn"), - computeNumberBtn: document.getElementById("compute-godel-btn"), - compileStatus: document.getElementById("compile-status"), - evalStatus: document.getElementById("eval-status"), - godelSequence: document.getElementById("godel-sequence"), - godelNumber: document.getElementById("godel-number") - }; - - this.sourceEditor = null; - this.compiledEditor = null; - this.worker = null; - this.latestSequence = []; - - this.init(); - } - - init() { - this.setupEditors(); - this.bindEvents(); - this.hydrateFromParams(); - if (!this.getSource().trim()) { - this.setSource(SAMPLE_PROGRAM); - } - this.compileSource(); - } - - setupEditors() { - this.sourceEditor = adelieEditor.init("#source-editor", { - language: "javascript" - }); - this.compiledEditor = adelieEditor.init("#compiled-editor", { - language: "javascript" - }); - this.setSource(SAMPLE_PROGRAM); - } - - bindEvents() { - this.elements.compileBtn.addEventListener("click", () => this.compileSource()); - this.elements.evalBtn.addEventListener("click", () => this.evaluateCompiled()); - this.elements.copyBtn.addEventListener("click", () => this.copyShareLink()); - this.elements.computeNumberBtn.addEventListener("click", () => this.computeGodelNumber()); - - document.addEventListener("keydown", (event) => { - if (event.ctrlKey && event.key === "Enter") { - event.preventDefault(); - this.compileSource(); - } - }); - } - - hydrateFromParams() { - const params = new URLSearchParams(window.location.search); - const encoded = params.get("instructions"); - if (encoded) { - try { - const decoded = atob(encoded); - this.setSource(decoded); - } catch (error) { - console.warn("Failed to decode instructions from URL", error); - } - } - } - - getSource() { - return this.sourceEditor.state.doc.toString(); - } - - setSource(content) { - const docLength = this.sourceEditor.state.doc.toString().length; - this.sourceEditor.dispatch({ - changes: { from: 0, to: docLength, insert: content } - }); - } - - getCompiled() { - return this.compiledEditor.state.doc.toString(); - } - - setCompiled(content) { - const docLength = this.compiledEditor.state.doc.toString().length; - this.compiledEditor.dispatch({ - changes: { from: 0, to: docLength, insert: content } - }); - } - - prepareSource(source) { - return source.replace(/\/\/.*$/gm, "").trim(); - } - - compileSource() { - const raw = this.getSource(); - const prepared = this.prepareSource(raw); - - if (!prepared) { - this.setStatus("compile", "Provide some source to compile", "error"); - return; - } - - try { - const ast = parser.parse(prepared); - const { js, godelSequence } = compileProgram(ast); - this.latestSequence = godelSequence; - this.setCompiled(js); - this.renderSequence(godelSequence); - this.setStatus("compile", "Successful compilation", "success"); - this.elements.computeNumberBtn.disabled = godelSequence.length === 0; - } catch (error) { - this.latestSequence = []; - this.renderSequence([]); - this.elements.computeNumberBtn.disabled = true; - this.setStatus("compile", error.message || "Error compiling", "error"); - } - } - - evaluateCompiled() { - const js = this.getCompiled(); - if (!js.trim()) { - this.setStatus("eval", "Compile a program first", "error"); - return; - } - - try { - const result = (0, eval)(js); - this.setStatus( - "eval", - `Result: ${typeof result === "undefined" ? "(no return)" : result}`, - "success" - ); - } catch (error) { - this.setStatus("eval", error.message || "Failed to evaluate program", "error"); - } - } - - renderSequence(sequence) { - if (!sequence.length) { - this.elements.godelSequence.textContent = "Compile to view the Gödel sequence."; - this.elements.godelNumber.textContent = ""; - return; - } - this.elements.godelSequence.textContent = `[${sequence.join(", ")}]`; - this.elements.godelNumber.textContent = ""; - } - - copyShareLink() { - const data = btoa(this.getSource()); - const url = `${window.location.href.split("?")[0]}?instructions=${data}`; - - navigator.clipboard.writeText(url) - .then(() => alert("Shareable link copied to clipboard")) - .catch(() => alert("Failed to copy link")); - } - - computeGodelNumber() { - if (!this.latestSequence.length) { - this.setStatus("compile", "Compile a program to produce its Gödel sequence", "error"); - return; - } - - this.elements.godelNumber.textContent = "Working..."; - this.elements.computeNumberBtn.disabled = true; - - const worker = this.getWorker(); - worker.onmessage = (event) => { - this.elements.godelNumber.textContent = event.data; - this.elements.computeNumberBtn.disabled = false; - }; - worker.onerror = () => { - this.elements.godelNumber.textContent = "Failed to compute Gödel number"; - this.elements.computeNumberBtn.disabled = false; - }; - worker.postMessage(this.latestSequence); - } - - getWorker() { - if (!this.worker) { - const workerUrl = new URL("./godel-worker.js", import.meta.url); - this.worker = new Worker(workerUrl, { type: "module" }); - } - return this.worker; - } - - setStatus(kind, message, variant = "info") { - const element = kind === "compile" ? this.elements.compileStatus : this.elements.evalStatus; - element.textContent = message; - element.className = `status-text ${STATUS_VARIANTS[variant] || ""}`; - } -} |