Numbat: A statically typed programming language for scientific computations with | Heykuki News