Bytecode & VM

Honest compilation

• compiler emits bytecode
• VM executes it
• clear separation of phases

Instructions

• stack ops
• define/store/load
• jumps for control flow
• call/return

Runtime rules

• truthiness: false/nil
• runtime errors for bad types

Extensions

• bytecode files
• optimizations
• register VM