A demo language combines dynamic typing with Rust-like borrow checking through dynamic runtime checks, offering a middle ground between flexibility and safety. It explores a hybrid static/dynamic type system inspired by Julia and Zig, with explicit annotations for switching modes. The approach enables mutable value semantics without heavy overhead while supporting features like interior pointers and stack allocation.
Background
Languages like Julia and Zig blend dynamic and static typing, but differ in handling unverifiable code—Zig rejects it while Julia keeps dynamic checks. This explores a third approach with explicit mode switching.
- Source
- Lobsters
- Published
- Apr 23, 2026 at 10:53 AM
- Score
- 7.0 / 10