A new optionally-typed general purpose programming language | Heykuki News