- fixed-width (4 byte) stack-based bytecode, put long jumps
- no keyword args
- fibers model similar to wren (but call them virtual threads)
- whitespace sensitivity, but not indentation-delimited blocks
- nanboxing
improve:
- diagnostics (unified Error type across the entire language, with support for reporting spans)
- no keywords means no need for macros for bindings
Handle with get/get_mut methods which are unsafe for outside use.
if you want panics, use RefCell. if you want locks, use Mutex. control is handed to the user. values given to the VM need to be 'static.
Deref/DerefMut for internal use
public API could be simpler (and unsafe), with sugar using extractors on top. that way users could choose to use the unsafe API to do more interesting (and zero-cost) stuff, or use the convenient sugar to write safe code.
- unify all the crates into one (except derive, but derive should not be used internally)
- remove variable-width encoding, use a simple enum+match dispatch
- remove delegate_to_handle and use deref/deref_mut instead
- replace the public interface with an unsafe one
- remove keyword args
- change the calling convention so that the top of the stack in the previous call frame becomes the bottom of the stack in the next call frame. get_field + call for method calls should still be next to each other so they can be peepholed to invoke (maybe this can even be done as part of the initial emit pass)
- code should be executable at any point, which means all the state that's required to execute code should be cleanly split into "local state" and "global state". global state should be stored in a thread-local variable while the VM is executing, and popped off and pushed into this variable when call recursion happens
https://github.com/TechTheAwesome/code-yew-server/blob/main/client/src/embeddedHTML.ts