Programming Languages
Thinkers posting on this topic
No compiled wiki article for this topic yet. Raw entries below are the source material — a wiki article can be generated on demand from /admin/triggers.
All entries on this topic (2)
Yann LeCun's Interpreter Used Dynamic Scoping, Compiler Employed Typed Lexical Scoping with Stack-Only Allocation
Yann LeCun's system featured an interpreter with dynamic scoping borrowed from Le_Lisp and a typed compiler using lexical scoping. The compiler rejected code involving dynamic data allocations, relying solely on stack allocation via escape analysis without garbage collection. This design enforced st…
Flow Type Checker Fails Null Check on Class Properties Despite Working on Parameters
In Flow, checking a nullable parameter with `if (n == null)` correctly narrows it to non-null, enabling safe use like `n > 10`. The same pattern fails for class properties, where `if (this.n == null)` does not narrow `this.n : ?number`, causing type errors on `this.n > 10`. This reveals an inconsist…