FEXPRs vs. vtable: how LispE evaluates instructions
Summary
Deep dive into LispE's interpreter architecture, arguing that f(a1,...,an) is equivalent to F(a1,...,an).eval() when F is immutable. It explains how immutable instruction objects and per-class eval methods enable efficient, parallelizable dispatch via vtables and an explicit evals table for dynamic forms.