statically-typed languages