[ekleraki]

You are correct my comment did not make sense.

What I meant was that types may be inferred but that is not the same as dynamic typing.