TypeScriptBC – Language specification for TypeScript with a Rust borrow checker | Heykuki News