statically-typed language