This will eventually be a statically typed programming language.