Statically Typed

See StaticTyping.