Statically-typed, Rust-like programming language | Heykuki News