BorrowScript spec – Combining the Rust borrow checker with TypeScript syntax | Heykuki News