statically typed language