The interpeter used used dynamic scoping (borrowed from Le_Lisp)
The compiler was typed and used lexical scoping.
The compiler refused to compile code with dynamic data allocations (no GC, everything allocated on the stack through escape analysis).

→ View original post on X — @ylecun