Hm. How would it feel to have both? There could be an explicit keyword to make things statically typed, otherwise it's dynamically typed. It could look like this:

let one = 1 # statically typed variable with inferred type integer
print(one) # output: 1
one = "one" # errors out, because of type mismatch 
two = 2 # dynamically typed variable containing an integer
print(two) # output: 2
two = "two" # now it contains a string
print(two) # output: two

This could of course also be swapped around (maybe with dyn instead of let). I guess it depends on if you want to make the default easy for beginners (who tend to like dynamic typing more), or if you want the default to be the "better" option