notes-computer-jasper-jasperCore

Jasper Core is an intermediate language (IL) for Jasper.

Goals:

Non-goals:

Properties:

Jasper core design todos

--

Operations in some opcodes

Stack ops?

Concurrency

I/O?

or should this be a std lib?

memory

jaspery stuff

metaprogramming

Links

See/learn from programmingPartTargetLanguages.

---

Bytecode format

Self-describing format

Jasper allows an arbitrarily large number of local variables, etc, and works on any pointer width. Yet in Jasper Core's bytecode, we want to fix the size of instructions and of various bitfields. How to reconcile these?

In the header of each Jasper program is a set of arbitrarily large self-describing integers. Here's how they work: