statically typed languages