D2 is a strongly-typed, statically-typed, (mostly) inferred-type compiled language. - View it on GitHub