Here’s a language that gives near-C performance that feels like Python or Ruby with optional type annotations (that you can feed to one of two static …