Compare commits

...

15 Commits
Martoq ... main

Author SHA1 Message Date
zongor 1b26f3e65a bump the version 2024-07-13 10:11:58 -04:00
zongor 6dbe6ec436 add ability to handle other requets than GET 2024-07-12 22:37:22 -04:00
zongor 81b765a1b2 fix the http listener 2024-07-12 22:15:00 -04:00
zongor 9d4cc1ff09 fix wasm build 2024-07-12 00:30:26 -04:00
zongor 4a0ec4c8fe add webassembly 2024-07-11 23:58:35 -04:00
zongor 10bb9a7d3c fix scanner 2024-07-06 21:15:21 -04:00
zongor 9122c3078d remove 2023-05-15 19:07:30 -04:00
zongor b07d5b062d ignore 2023-05-15 19:06:52 -04:00
zongor 3fdaae220e remove duplicate code 2023-05-08 16:39:53 -04:00
chakr 6d1211c2fd add readall, readall test 2023-03-22 22:26:58 -04:00
zongor be6ebfceb6 add css style test 2023-03-18 22:39:20 -04:00
zongor 98617309c4 add initial servehttp 2023-03-18 22:26:32 -04:00
chakr ec4f3c8341 should ignore html 2023-02-19 11:20:24 -05:00
chakr 9e4eac6f12 add pick op, increment version 2023-02-19 11:07:46 -05:00
chakr ed6cf767d0 fix listen, dump; add over, rot, depth, aoc 2022 2022-12-23 10:25:05 -05:00
24 changed files with 3318 additions and 358 deletions

4
.gitignore vendored
View File

@ -1 +1,3 @@
bin/* bin/*
./*.html
.vscode/

16
.vscode/launch.json vendored
View File

@ -1,16 +0,0 @@
{
// Use IntelliSense to learn about possible attributes.
// Hover to view descriptions of existing attributes.
// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
"version": "0.2.0",
"configurations": [
{
"name": "Launch Package",
"type": "go",
"request": "launch",
"mode": "auto",
"program": "main.go",
"args": ["examples/test.vqe"]
},
]
}

0
LICENSE Normal file → Executable file
View File

56
SPEC.md
View File

@ -1,5 +1,5 @@
_var'aq_ Specification _var'aq_ Specification
================================== =================================
For better flavor text please read the [Original `var'aq` spec](https://www.oocities.org/connorbd/varaq/varaqspec.html) the following is a trimmed down version of the spec with a couple of fixes and addendums to how this implementation of the language works. For better flavor text please read the [Original `var'aq` spec](https://www.oocities.org/connorbd/varaq/varaqspec.html) the following is a trimmed down version of the spec with a couple of fixes and addendums to how this implementation of the language works.
@ -606,23 +606,77 @@ This section describes _var'aq_ keywords that do no more than put set values on
#### 6.1.1 newline/chu'DonwI' #### 6.1.1 newline/chu'DonwI'
_- `chu'DonwI'` '\n'_
Prints a carriage return. Prints a carriage return.
#### 6.1.2 tab/chu'tut #### 6.1.2 tab/chu'tut
_- `chu'DonwI'` '\t'_
Advances by one tab stop. Advances by one tab stop.
#### 6.2 Environment Constants #### 6.2 Environment Constants
#### 6.2.1 whereami/nuqDaq\_jIH #### 6.2.1 whereami/nuqDaq\_jIH
_- `nuqDaq_jIH` "string of your local ip address"_
Returns the IP address of the machine the interpreter is running on. Returns the IP address of the machine the interpreter is running on.
#### 6.2.2 version/pongmI' #### 6.2.2 version/pongmI'
_- `pongmI'` "string of version"_
Returns the current interpreter version number. The reference interpreter returns a date stamp. Returns the current interpreter version number. The reference interpreter returns a date stamp.
#### 6.2.3 argv/taghDe' #### 6.2.3 argv/taghDe'
_- `taghDe'` (arg1, arg2, ...)_
Pushes the command line arguments on the stack as a list. Pushes the command line arguments on the stack as a list.
## 7 New Operators
The following are all new operators that are not included in the original perl implementation of _var'aq_
### 7.1 Stack Operations
These are stolen directly from _Forth_ (specifically the [_FORTH-79 Handy Reference_](http://www.forth.org/Ting/Forth-for-the-Complete-Idiot/Forth-79-Handy-Reference.pdf) from the book _Forth for the Complete Idiot_),
They are very useful for doing operations without clobbering the stack
#### 7.1.1 over/QI
_obj1 obj2 `QI` obj1 obj2 obj1_
Make a copy of the second item on top of the stack.
The direct Klingon translation for `QI` is bridge, as in a bridge over a river, which works close enough.
Errors: stackUnderflow
#### 7.1.2 pick/woH
_N `woH` objN_
Make a copy of the Nth item on top of the stack.
For example _1 `woH`_ is the same as `latlh` & _2 `woH`_ is the same as `QI`
Errors: stackUnderflow, stackOverflow
#### 7.1.3 rot/jIr
_obj1 obj2 obj3 `jIr` obj2 obj3 obj1_
Rotate the third item to the top of the stack.
Errors: stackUnderflow
#### 7.1.4 depth/juv
_- `juv` num_
Count the number of items on the stack and push that number to the top of the stack.
Errors: stackUnderflow

View File

@ -1,37 +1 @@
GOOS=plan9 GOARCH=386 go build -o bin/varaq-plan9-386 main.go go build -o bin/varaq main.go
GOOS=plan9 GOARCH=amd64 go build -o bin/varaq-plan9-amd64 main.go
GOOS=plan9 GOARCH=arm go build -o bin/varaq-plan9-arm main.go
GOOS=aix GOARCH=ppc64 go build -o bin/varaq-aix-ppc64 main.go
GOOS=darwin GOARCH=amd64 go build -o bin/varaq-darwin-amd64 main.go
GOOS=darwin GOARCH=arm64 go build -o bin/varaq-darwin-arm64 main.go
GOOS=dragonfly GOARCH=amd64 go build -o bin/varaq-dragonfly-amd64 main.go
GOOS=freebsd GOARCH=386 go build -o bin/varaq-freebsd-386 main.go
GOOS=freebsd GOARCH=amd64 go build -o bin/varaq-freebsd-amd64 main.go
GOOS=freebsd GOARCH=arm go build -o bin/varaq-freebsd-arm main.go
GOOS=illumos GOARCH=amd64 go build -o bin/varaq-illumos-amd64 main.go
GOOS=js GOARCH=wasm go build -o bin/varaq.wasm main.go
GOOS=linux GOARCH=386 go build -o bin/varaq-linux-386 main.go
GOOS=linux GOARCH=amd64 go build -o bin/varaq-linux-amd64 main.go
GOOS=linux GOARCH=arm go build -o bin/varaq-linux-arm main.go
GOOS=linux GOARCH=arm64 go build -o bin/varaq-linux-arm64 main.go
GOOS=linux GOARCH=loong64 go build -o bin/varaq-linux-loong64 main.go
GOOS=linux GOARCH=mips go build -o bin/varaq-linux-mips main.go
GOOS=linux GOARCH=mipsle go build -o bin/varaq-linux-mipsle main.go
GOOS=linux GOARCH=mips64 go build -o bin/varaq-linux-mips64 main.go
GOOS=linux GOARCH=mips64le go build -o bin/varaq-linux-mips64le main.go
GOOS=linux GOARCH=ppc64 go build -o bin/varaq-linux-ppc64 main.go
GOOS=linux GOARCH=ppc64le go build -o bin/varaq-linux-ppc64le main.go
GOOS=linux GOARCH=riscv64 go build -o bin/varaq-linux-riscv64 main.go
GOOS=linux GOARCH=s390x go build -o bin/varaq-linux-s390x main.go
GOOS=netbsd GOARCH=386 go build -o bin/varaq-netbsd-386 main.go
GOOS=netbsd GOARCH=amd64 go build -o bin/varaq-netbsd-amd64 main.go
GOOS=netbsd GOARCH=arm go build -o bin/varaq-netbsd-arm main.go
GOOS=openbsd GOARCH=386 go build -o bin/varaq-openbsd-386 main.go
GOOS=openbsd GOARCH=amd64 go build -o bin/varaq-openbsd-amd64 main.go
GOOS=openbsd GOARCH=arm go build -o bin/varaq-openbsd-arm main.go
GOOS=openbsd GOARCH=arm64 go build -o bin/varaq-openbsd-arm64 main.go
GOOS=solaris GOARCH=amd64 go build -o bin/varaq-solaris-amd64 main.go
GOOS=windows GOARCH=386 go build -o bin/varaq-windows-386 main.go
GOOS=windows GOARCH=amd64 go build -o bin/varaq-windows-amd64 main.go
GOOS=windows GOARCH=arm go build -o bin/varaq-windows-arm main.go
GOOS=windows GOARCH=arm64 go build -o bin/varaq-windows-arm64 main.go

37
buildall.sh Executable file
View File

@ -0,0 +1,37 @@
GOOS=plan9 GOARCH=386 go build -o bin/varaq-plan9-386 main.go
GOOS=plan9 GOARCH=amd64 go build -o bin/varaq-plan9-amd64 main.go
GOOS=plan9 GOARCH=arm go build -o bin/varaq-plan9-arm main.go
GOOS=aix GOARCH=ppc64 go build -o bin/varaq-aix-ppc64 main.go
GOOS=darwin GOARCH=amd64 go build -o bin/varaq-darwin-amd64 main.go
GOOS=darwin GOARCH=arm64 go build -o bin/varaq-darwin-arm64 main.go
GOOS=dragonfly GOARCH=amd64 go build -o bin/varaq-dragonfly-amd64 main.go
GOOS=freebsd GOARCH=386 go build -o bin/varaq-freebsd-386 main.go
GOOS=freebsd GOARCH=amd64 go build -o bin/varaq-freebsd-amd64 main.go
GOOS=freebsd GOARCH=arm go build -o bin/varaq-freebsd-arm main.go
GOOS=illumos GOARCH=amd64 go build -o bin/varaq-illumos-amd64 main.go
GOOS=linux GOARCH=386 go build -o bin/varaq-linux-386 main.go
GOOS=linux GOARCH=amd64 go build -o bin/varaq-linux-amd64 main.go
GOOS=linux GOARCH=arm go build -o bin/varaq-linux-arm main.go
GOOS=linux GOARCH=arm64 go build -o bin/varaq-linux-arm64 main.go
GOOS=linux GOARCH=loong64 go build -o bin/varaq-linux-loong64 main.go
GOOS=linux GOARCH=mips go build -o bin/varaq-linux-mips main.go
GOOS=linux GOARCH=mipsle go build -o bin/varaq-linux-mipsle main.go
GOOS=linux GOARCH=mips64 go build -o bin/varaq-linux-mips64 main.go
GOOS=linux GOARCH=mips64le go build -o bin/varaq-linux-mips64le main.go
GOOS=linux GOARCH=ppc64 go build -o bin/varaq-linux-ppc64 main.go
GOOS=linux GOARCH=ppc64le go build -o bin/varaq-linux-ppc64le main.go
GOOS=linux GOARCH=riscv64 go build -o bin/varaq-linux-riscv64 main.go
GOOS=linux GOARCH=s390x go build -o bin/varaq-linux-s390x main.go
GOOS=netbsd GOARCH=386 go build -o bin/varaq-netbsd-386 main.go
GOOS=netbsd GOARCH=amd64 go build -o bin/varaq-netbsd-amd64 main.go
GOOS=netbsd GOARCH=arm go build -o bin/varaq-netbsd-arm main.go
GOOS=openbsd GOARCH=386 go build -o bin/varaq-openbsd-386 main.go
GOOS=openbsd GOARCH=amd64 go build -o bin/varaq-openbsd-amd64 main.go
GOOS=openbsd GOARCH=arm go build -o bin/varaq-openbsd-arm main.go
GOOS=openbsd GOARCH=arm64 go build -o bin/varaq-openbsd-arm64 main.go
GOOS=solaris GOARCH=amd64 go build -o bin/varaq-solaris-amd64 main.go
GOOS=windows GOARCH=386 go build -o bin/varaq-windows-386 main.go
GOOS=windows GOARCH=amd64 go build -o bin/varaq-windows-amd64 main.go
GOOS=windows GOARCH=arm go build -o bin/varaq-windows-arm main.go
GOOS=windows GOARCH=arm64 go build -o bin/varaq-windows-arm64 main.go
GOOS=js GOARCH=wasm go build -o bin/varaq.wasm webmain.go

2244
examples/aoc2022/day1/input.txt Executable file

File diff suppressed because it is too large Load Diff

18
examples/aoc2022/day1/p1.vq Executable file
View File

@ -0,0 +1,18 @@
() lI'moH vulqangan cher
0 2244 {
'Ij latlh
tlheghjuv 0 rap'a'
wIv
{ woD woD vulqangan muv lI'moH vulqangan cher 0 HIja' } HIja'chugh
{ mI'moH boq } ghobe'chugh
} vangqa'
vulqangan ghorqu' juv wa'boqHa' {
QI QI puS'a'
wIv
{ woD tam woD HIja' } HIja'chugh
{ woD } ghobe'chugh
} vangqa'
cha' chu'DonwI'

18
examples/aoc2022/day1/p1.vqe Executable file
View File

@ -0,0 +1,18 @@
() ~ elves set
0 2244 {
listen dup
strmeasure 0 eq?
choose
{ pop pop elves cons ~ elves set 0 true } ifyes
{ numberize add } ifno
} repeat
elves shatter depth sub1 {
over over lt?
choose
{ pop exch pop true } ifyes
{ pop } ifno
} repeat
disp newline

18
examples/aoc2022/day1/p2.vqe Executable file
View File

@ -0,0 +1,18 @@
() ~ elves set
0 2244 {
listen dup
strmeasure 0 eq?
choose
{ pop pop elves cons ~ elves set 0 true } ifyes
{ numberize add } ifno
} repeat
elves shatter depth sub1 {
2 pick 2 pick lt?
choose
{ pop exch pop true } ifyes
{ pop } ifno
} repeat
disp

View File

@ -0,0 +1,9 @@
{
"<!DOCTYPE html>" disp newline
"<html>" disp newline
"<head><style>body {background-color: black;color: #ddd;} </style> </head>" disp newline
"<body>" disp newline
"<h1>nuqneH 'u'?</h1>" disp newline
"</body>" disp newline
"</html>" disp
} ":3333" servehttp

3
examples/http_read.vqe Normal file
View File

@ -0,0 +1,3 @@
{
"examples/test.html" readall disp
} ":3333" servehttp

1
examples/list.vqe Executable file
View File

@ -0,0 +1 @@
(1 2 3 4 "test this" pi(*test*)) empty? disp

12
examples/test.html Normal file
View File

@ -0,0 +1,12 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Document</title>
</head>
<body>
<h1>test</h1>
</body>
</html>

View File

@ -18,8 +18,6 @@
listen strtie listen strtie
disp disp
(1 2 3 4 "test this" pi(*test*))
num 1 add ~ num set num 1 add ~ num set
num disp num disp
} name } name

View File

@ -0,0 +1,58 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>varaq online runner</title>
<link
href="https://cdn.jsdelivr.net/npm/daisyui@4.12.10/dist/full.min.css"
rel="stylesheet"
type="text/css"
/>
<script src="https://cdn.tailwindcss.com"></script>
</head>
<body>
<div class="container mx-auto p-4 pt-6 md:p-6 lg:p-12">
<h1 class="text-3xl font-bold mb-4">varaq</h1>
<textarea
id="input"
class="textarea textarea-bordered w-full"
rows="5"
placeholder="Enter input"
>
</textarea>
<div class="flex flex-wrap m-4">
<button id="run" class="btn">Run</button>
</div>
<div class="mb-4">
<textarea
id="output"
class="textarea textarea-bordered w-full"
rows="5"
readonly
></textarea>
</div>
</div>
<script src="wasm_exec.js"></script>
<script>
const go = new Go();
WebAssembly.instantiateStreaming(
fetch("varaq.wasm"),
go.importObject,
).then((result) => {
go.run(result.instance);
});
const input = document.getElementById("input");
const runButton = document.getElementById("run");
const output = document.getElementById("output");
runButton.addEventListener("click", () => {
const inputValue = input.value.trim();
const result = varaq(inputValue); // call the function here
output.value = result;
});
</script>
</body>
</html>

View File

@ -0,0 +1,17 @@
{
(* get the request info *)
argv shatter
(* if its a get request we want to ignore the request body *)
"GET" streq?
{ pop } ifyes
(* check to see if we have the root route, if so return index.html *)
dup "/" streq?
choose
{ exch pop "index.html" exch } ifyes
{ "." exch strtie } ifno
(* now read the requested file and return it *)
readall disp
} ":3333" servehttp

Binary file not shown.

View File

@ -0,0 +1,561 @@
// Copyright 2018 The Go Authors. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
"use strict";
(() => {
const enosys = () => {
const err = new Error("not implemented");
err.code = "ENOSYS";
return err;
};
if (!globalThis.fs) {
let outputBuf = "";
globalThis.fs = {
constants: { O_WRONLY: -1, O_RDWR: -1, O_CREAT: -1, O_TRUNC: -1, O_APPEND: -1, O_EXCL: -1 }, // unused
writeSync(fd, buf) {
outputBuf += decoder.decode(buf);
const nl = outputBuf.lastIndexOf("\n");
if (nl != -1) {
console.log(outputBuf.substring(0, nl));
outputBuf = outputBuf.substring(nl + 1);
}
return buf.length;
},
write(fd, buf, offset, length, position, callback) {
if (offset !== 0 || length !== buf.length || position !== null) {
callback(enosys());
return;
}
const n = this.writeSync(fd, buf);
callback(null, n);
},
chmod(path, mode, callback) { callback(enosys()); },
chown(path, uid, gid, callback) { callback(enosys()); },
close(fd, callback) { callback(enosys()); },
fchmod(fd, mode, callback) { callback(enosys()); },
fchown(fd, uid, gid, callback) { callback(enosys()); },
fstat(fd, callback) { callback(enosys()); },
fsync(fd, callback) { callback(null); },
ftruncate(fd, length, callback) { callback(enosys()); },
lchown(path, uid, gid, callback) { callback(enosys()); },
link(path, link, callback) { callback(enosys()); },
lstat(path, callback) { callback(enosys()); },
mkdir(path, perm, callback) { callback(enosys()); },
open(path, flags, mode, callback) { callback(enosys()); },
read(fd, buffer, offset, length, position, callback) { callback(enosys()); },
readdir(path, callback) { callback(enosys()); },
readlink(path, callback) { callback(enosys()); },
rename(from, to, callback) { callback(enosys()); },
rmdir(path, callback) { callback(enosys()); },
stat(path, callback) { callback(enosys()); },
symlink(path, link, callback) { callback(enosys()); },
truncate(path, length, callback) { callback(enosys()); },
unlink(path, callback) { callback(enosys()); },
utimes(path, atime, mtime, callback) { callback(enosys()); },
};
}
if (!globalThis.process) {
globalThis.process = {
getuid() { return -1; },
getgid() { return -1; },
geteuid() { return -1; },
getegid() { return -1; },
getgroups() { throw enosys(); },
pid: -1,
ppid: -1,
umask() { throw enosys(); },
cwd() { throw enosys(); },
chdir() { throw enosys(); },
}
}
if (!globalThis.crypto) {
throw new Error("globalThis.crypto is not available, polyfill required (crypto.getRandomValues only)");
}
if (!globalThis.performance) {
throw new Error("globalThis.performance is not available, polyfill required (performance.now only)");
}
if (!globalThis.TextEncoder) {
throw new Error("globalThis.TextEncoder is not available, polyfill required");
}
if (!globalThis.TextDecoder) {
throw new Error("globalThis.TextDecoder is not available, polyfill required");
}
const encoder = new TextEncoder("utf-8");
const decoder = new TextDecoder("utf-8");
globalThis.Go = class {
constructor() {
this.argv = ["js"];
this.env = {};
this.exit = (code) => {
if (code !== 0) {
console.warn("exit code:", code);
}
};
this._exitPromise = new Promise((resolve) => {
this._resolveExitPromise = resolve;
});
this._pendingEvent = null;
this._scheduledTimeouts = new Map();
this._nextCallbackTimeoutID = 1;
const setInt64 = (addr, v) => {
this.mem.setUint32(addr + 0, v, true);
this.mem.setUint32(addr + 4, Math.floor(v / 4294967296), true);
}
const setInt32 = (addr, v) => {
this.mem.setUint32(addr + 0, v, true);
}
const getInt64 = (addr) => {
const low = this.mem.getUint32(addr + 0, true);
const high = this.mem.getInt32(addr + 4, true);
return low + high * 4294967296;
}
const loadValue = (addr) => {
const f = this.mem.getFloat64(addr, true);
if (f === 0) {
return undefined;
}
if (!isNaN(f)) {
return f;
}
const id = this.mem.getUint32(addr, true);
return this._values[id];
}
const storeValue = (addr, v) => {
const nanHead = 0x7FF80000;
if (typeof v === "number" && v !== 0) {
if (isNaN(v)) {
this.mem.setUint32(addr + 4, nanHead, true);
this.mem.setUint32(addr, 0, true);
return;
}
this.mem.setFloat64(addr, v, true);
return;
}
if (v === undefined) {
this.mem.setFloat64(addr, 0, true);
return;
}
let id = this._ids.get(v);
if (id === undefined) {
id = this._idPool.pop();
if (id === undefined) {
id = this._values.length;
}
this._values[id] = v;
this._goRefCounts[id] = 0;
this._ids.set(v, id);
}
this._goRefCounts[id]++;
let typeFlag = 0;
switch (typeof v) {
case "object":
if (v !== null) {
typeFlag = 1;
}
break;
case "string":
typeFlag = 2;
break;
case "symbol":
typeFlag = 3;
break;
case "function":
typeFlag = 4;
break;
}
this.mem.setUint32(addr + 4, nanHead | typeFlag, true);
this.mem.setUint32(addr, id, true);
}
const loadSlice = (addr) => {
const array = getInt64(addr + 0);
const len = getInt64(addr + 8);
return new Uint8Array(this._inst.exports.mem.buffer, array, len);
}
const loadSliceOfValues = (addr) => {
const array = getInt64(addr + 0);
const len = getInt64(addr + 8);
const a = new Array(len);
for (let i = 0; i < len; i++) {
a[i] = loadValue(array + i * 8);
}
return a;
}
const loadString = (addr) => {
const saddr = getInt64(addr + 0);
const len = getInt64(addr + 8);
return decoder.decode(new DataView(this._inst.exports.mem.buffer, saddr, len));
}
const timeOrigin = Date.now() - performance.now();
this.importObject = {
_gotest: {
add: (a, b) => a + b,
},
gojs: {
// Go's SP does not change as long as no Go code is running. Some operations (e.g. calls, getters and setters)
// may synchronously trigger a Go event handler. This makes Go code get executed in the middle of the imported
// function. A goroutine can switch to a new stack if the current stack is too small (see morestack function).
// This changes the SP, thus we have to update the SP used by the imported function.
// func wasmExit(code int32)
"runtime.wasmExit": (sp) => {
sp >>>= 0;
const code = this.mem.getInt32(sp + 8, true);
this.exited = true;
delete this._inst;
delete this._values;
delete this._goRefCounts;
delete this._ids;
delete this._idPool;
this.exit(code);
},
// func wasmWrite(fd uintptr, p unsafe.Pointer, n int32)
"runtime.wasmWrite": (sp) => {
sp >>>= 0;
const fd = getInt64(sp + 8);
const p = getInt64(sp + 16);
const n = this.mem.getInt32(sp + 24, true);
fs.writeSync(fd, new Uint8Array(this._inst.exports.mem.buffer, p, n));
},
// func resetMemoryDataView()
"runtime.resetMemoryDataView": (sp) => {
sp >>>= 0;
this.mem = new DataView(this._inst.exports.mem.buffer);
},
// func nanotime1() int64
"runtime.nanotime1": (sp) => {
sp >>>= 0;
setInt64(sp + 8, (timeOrigin + performance.now()) * 1000000);
},
// func walltime() (sec int64, nsec int32)
"runtime.walltime": (sp) => {
sp >>>= 0;
const msec = (new Date).getTime();
setInt64(sp + 8, msec / 1000);
this.mem.setInt32(sp + 16, (msec % 1000) * 1000000, true);
},
// func scheduleTimeoutEvent(delay int64) int32
"runtime.scheduleTimeoutEvent": (sp) => {
sp >>>= 0;
const id = this._nextCallbackTimeoutID;
this._nextCallbackTimeoutID++;
this._scheduledTimeouts.set(id, setTimeout(
() => {
this._resume();
while (this._scheduledTimeouts.has(id)) {
// for some reason Go failed to register the timeout event, log and try again
// (temporary workaround for https://github.com/golang/go/issues/28975)
console.warn("scheduleTimeoutEvent: missed timeout event");
this._resume();
}
},
getInt64(sp + 8),
));
this.mem.setInt32(sp + 16, id, true);
},
// func clearTimeoutEvent(id int32)
"runtime.clearTimeoutEvent": (sp) => {
sp >>>= 0;
const id = this.mem.getInt32(sp + 8, true);
clearTimeout(this._scheduledTimeouts.get(id));
this._scheduledTimeouts.delete(id);
},
// func getRandomData(r []byte)
"runtime.getRandomData": (sp) => {
sp >>>= 0;
crypto.getRandomValues(loadSlice(sp + 8));
},
// func finalizeRef(v ref)
"syscall/js.finalizeRef": (sp) => {
sp >>>= 0;
const id = this.mem.getUint32(sp + 8, true);
this._goRefCounts[id]--;
if (this._goRefCounts[id] === 0) {
const v = this._values[id];
this._values[id] = null;
this._ids.delete(v);
this._idPool.push(id);
}
},
// func stringVal(value string) ref
"syscall/js.stringVal": (sp) => {
sp >>>= 0;
storeValue(sp + 24, loadString(sp + 8));
},
// func valueGet(v ref, p string) ref
"syscall/js.valueGet": (sp) => {
sp >>>= 0;
const result = Reflect.get(loadValue(sp + 8), loadString(sp + 16));
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 32, result);
},
// func valueSet(v ref, p string, x ref)
"syscall/js.valueSet": (sp) => {
sp >>>= 0;
Reflect.set(loadValue(sp + 8), loadString(sp + 16), loadValue(sp + 32));
},
// func valueDelete(v ref, p string)
"syscall/js.valueDelete": (sp) => {
sp >>>= 0;
Reflect.deleteProperty(loadValue(sp + 8), loadString(sp + 16));
},
// func valueIndex(v ref, i int) ref
"syscall/js.valueIndex": (sp) => {
sp >>>= 0;
storeValue(sp + 24, Reflect.get(loadValue(sp + 8), getInt64(sp + 16)));
},
// valueSetIndex(v ref, i int, x ref)
"syscall/js.valueSetIndex": (sp) => {
sp >>>= 0;
Reflect.set(loadValue(sp + 8), getInt64(sp + 16), loadValue(sp + 24));
},
// func valueCall(v ref, m string, args []ref) (ref, bool)
"syscall/js.valueCall": (sp) => {
sp >>>= 0;
try {
const v = loadValue(sp + 8);
const m = Reflect.get(v, loadString(sp + 16));
const args = loadSliceOfValues(sp + 32);
const result = Reflect.apply(m, v, args);
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 56, result);
this.mem.setUint8(sp + 64, 1);
} catch (err) {
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 56, err);
this.mem.setUint8(sp + 64, 0);
}
},
// func valueInvoke(v ref, args []ref) (ref, bool)
"syscall/js.valueInvoke": (sp) => {
sp >>>= 0;
try {
const v = loadValue(sp + 8);
const args = loadSliceOfValues(sp + 16);
const result = Reflect.apply(v, undefined, args);
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 40, result);
this.mem.setUint8(sp + 48, 1);
} catch (err) {
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 40, err);
this.mem.setUint8(sp + 48, 0);
}
},
// func valueNew(v ref, args []ref) (ref, bool)
"syscall/js.valueNew": (sp) => {
sp >>>= 0;
try {
const v = loadValue(sp + 8);
const args = loadSliceOfValues(sp + 16);
const result = Reflect.construct(v, args);
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 40, result);
this.mem.setUint8(sp + 48, 1);
} catch (err) {
sp = this._inst.exports.getsp() >>> 0; // see comment above
storeValue(sp + 40, err);
this.mem.setUint8(sp + 48, 0);
}
},
// func valueLength(v ref) int
"syscall/js.valueLength": (sp) => {
sp >>>= 0;
setInt64(sp + 16, parseInt(loadValue(sp + 8).length));
},
// valuePrepareString(v ref) (ref, int)
"syscall/js.valuePrepareString": (sp) => {
sp >>>= 0;
const str = encoder.encode(String(loadValue(sp + 8)));
storeValue(sp + 16, str);
setInt64(sp + 24, str.length);
},
// valueLoadString(v ref, b []byte)
"syscall/js.valueLoadString": (sp) => {
sp >>>= 0;
const str = loadValue(sp + 8);
loadSlice(sp + 16).set(str);
},
// func valueInstanceOf(v ref, t ref) bool
"syscall/js.valueInstanceOf": (sp) => {
sp >>>= 0;
this.mem.setUint8(sp + 24, (loadValue(sp + 8) instanceof loadValue(sp + 16)) ? 1 : 0);
},
// func copyBytesToGo(dst []byte, src ref) (int, bool)
"syscall/js.copyBytesToGo": (sp) => {
sp >>>= 0;
const dst = loadSlice(sp + 8);
const src = loadValue(sp + 32);
if (!(src instanceof Uint8Array || src instanceof Uint8ClampedArray)) {
this.mem.setUint8(sp + 48, 0);
return;
}
const toCopy = src.subarray(0, dst.length);
dst.set(toCopy);
setInt64(sp + 40, toCopy.length);
this.mem.setUint8(sp + 48, 1);
},
// func copyBytesToJS(dst ref, src []byte) (int, bool)
"syscall/js.copyBytesToJS": (sp) => {
sp >>>= 0;
const dst = loadValue(sp + 8);
const src = loadSlice(sp + 16);
if (!(dst instanceof Uint8Array || dst instanceof Uint8ClampedArray)) {
this.mem.setUint8(sp + 48, 0);
return;
}
const toCopy = src.subarray(0, dst.length);
dst.set(toCopy);
setInt64(sp + 40, toCopy.length);
this.mem.setUint8(sp + 48, 1);
},
"debug": (value) => {
console.log(value);
},
}
};
}
async run(instance) {
if (!(instance instanceof WebAssembly.Instance)) {
throw new Error("Go.run: WebAssembly.Instance expected");
}
this._inst = instance;
this.mem = new DataView(this._inst.exports.mem.buffer);
this._values = [ // JS values that Go currently has references to, indexed by reference id
NaN,
0,
null,
true,
false,
globalThis,
this,
];
this._goRefCounts = new Array(this._values.length).fill(Infinity); // number of references that Go has to a JS value, indexed by reference id
this._ids = new Map([ // mapping from JS values to reference ids
[0, 1],
[null, 2],
[true, 3],
[false, 4],
[globalThis, 5],
[this, 6],
]);
this._idPool = []; // unused ids that have been garbage collected
this.exited = false; // whether the Go program has exited
// Pass command line arguments and environment variables to WebAssembly by writing them to the linear memory.
let offset = 4096;
const strPtr = (str) => {
const ptr = offset;
const bytes = encoder.encode(str + "\0");
new Uint8Array(this.mem.buffer, offset, bytes.length).set(bytes);
offset += bytes.length;
if (offset % 8 !== 0) {
offset += 8 - (offset % 8);
}
return ptr;
};
const argc = this.argv.length;
const argvPtrs = [];
this.argv.forEach((arg) => {
argvPtrs.push(strPtr(arg));
});
argvPtrs.push(0);
const keys = Object.keys(this.env).sort();
keys.forEach((key) => {
argvPtrs.push(strPtr(`${key}=${this.env[key]}`));
});
argvPtrs.push(0);
const argv = offset;
argvPtrs.forEach((ptr) => {
this.mem.setUint32(offset, ptr, true);
this.mem.setUint32(offset + 4, 0, true);
offset += 8;
});
// The linker guarantees global data starts from at least wasmMinDataAddr.
// Keep in sync with cmd/link/internal/ld/data.go:wasmMinDataAddr.
const wasmMinDataAddr = 4096 + 8192;
if (offset >= wasmMinDataAddr) {
throw new Error("total length of command line and environment variables exceeds limit");
}
this._inst.exports.run(argc, argv);
if (this.exited) {
this._resolveExitPromise();
}
await this._exitPromise;
}
_resume() {
if (this.exited) {
throw new Error("Go program has already exited");
}
this._inst.exports.resume();
if (this.exited) {
this._resolveExitPromise();
}
}
_makeFuncWrapper(id) {
const go = this;
return function () {
const event = { id: id, this: this, args: arguments };
go._pendingEvent = event;
go._resume();
return event.result;
};
}
}
})();

5
main.go Executable file → Normal file
View File

@ -20,8 +20,7 @@ func main() {
func repl() { func repl() {
scanner := bufio.NewScanner(os.Stdin) scanner := bufio.NewScanner(os.Stdin)
for scanner.Scan() { for fmt.Print("> "); scanner.Scan(); fmt.Print("> ") {
fmt.Print("> ")
line := scanner.Text() line := scanner.Text()
if len(line) == 0 { if len(line) == 0 {
return return
@ -54,7 +53,7 @@ func interpret(src string) error {
} }
code := varaq.Parse(tokens) code := varaq.Parse(tokens)
err = varaq.Interpret(code, os.Args[1:]) err = varaq.Interpret(code, os.Args[1:], os.Stdout)
if err != nil { if err != nil {
fmt.Printf("%v\n", err) fmt.Printf("%v\n", err)
return err return err

492
varaq/interpreter.go Executable file → Normal file

File diff suppressed because it is too large Load Diff

13
varaq/scanner.go Executable file → Normal file
View File

@ -10,7 +10,9 @@ import (
var keywords = map[string]TokenType{ var keywords = map[string]TokenType{
"false": FALSE, "false": FALSE,
"ghobe'": FALSE,
"true": TRUE, "true": TRUE,
"HIja'": TRUE,
"pi": PI, "pi": PI,
"e": E, "e": E,
"pop": POP, "pop": POP,
@ -121,7 +123,7 @@ var keywords = map[string]TokenType{
"law''a'": GT, "law''a'": GT,
"law'rap'a'": GE, "law'rap'a'": GE,
"maHghurtaH": LOG, "maHghurtaH": LOG,
"mi'moH": NUMBERIZE, "mI'moH": NUMBERIZE,
"muv": CONS, "muv": CONS,
"mobmoH": ISOLATE, "mobmoH": ISOLATE,
"mIScher": SETRAND, "mIScher": SETRAND,
@ -172,6 +174,15 @@ var keywords = map[string]TokenType{
"taghDe'": ARGV, "taghDe'": ARGV,
"pongmI'": VERSION, "pongmI'": VERSION,
"nuqDaq_jIH": WHEREAMI, "nuqDaq_jIH": WHEREAMI,
// All the ones after this are a part of the var'aq superset
"rot": ROT,
"jIr": ROT,
"over": OVER,
"QI": OVER,
"depth": DEPTH,
"juv": DEPTH,
"servehttp": SERVEHTTP,
"readall": READALL,
} }
func isDigit(s string) bool { func isDigit(s string) bool {

10
varaq/token.go Executable file → Normal file
View File

@ -102,6 +102,11 @@ const (
ARGV ARGV
TIME TIME
GARBAGECOLLECT GARBAGECOLLECT
OVER
ROT
DEPTH
SERVEHTTP
READALL
) )
var tokens = [...]string{ var tokens = [...]string{
@ -203,6 +208,11 @@ var tokens = [...]string{
ARGV: "ARGV", ARGV: "ARGV",
TIME: "TIME", TIME: "TIME",
GARBAGECOLLECT: "GARBAGECOLLECT", GARBAGECOLLECT: "GARBAGECOLLECT",
OVER: "OVER",
ROT: "ROT",
DEPTH: "DEPTH",
SERVEHTTP: "SERVEHTTP",
READALL: "READALL",
} }
func (me TokenType) String() string { func (me TokenType) String() string {

44
webmain.go Normal file
View File

@ -0,0 +1,44 @@
//go:build (js && wasm)
// +build js,wasm
package main
import (
"bytes"
"fmt"
"syscall/js"
"varaq/varaq"
)
func main() {
done := make(chan struct{}, 0)
js.Global().Set("varaq", js.FuncOf(jsInterpret))
fmt.Println("varaq WASM init, Qa'pla!")
<-done
}
func jsInterpret(this js.Value, args []js.Value) interface{} {
if len(args) < 1 {
return js.ValueOf("no input")
}
input := args[0].String()
tokens, err := varaq.Tokenize(input)
if err != nil {
return js.ValueOf(fmt.Errorf("%v", err))
}
code := varaq.Parse(tokens)
buf := bytes.NewBufferString("")
strings := make([]string, len(args[1:]))
for i, jsVal := range args[1:] {
strings[i] = jsVal.String()
}
err = varaq.Interpret(code, strings, buf)
if err != nil {
return js.ValueOf(fmt.Errorf("%v", err))
}
return js.ValueOf(buf.String())
}