I don’t have the time to keep hammering this point in. Perhaps this StackOverflow answer by Stefan Karpinski (one of the Julia language creators) types - Is Julia dynamically typed? - Stack Overflow can clarify some concepts.
It contains this sentence which may pique your interest:
Julia is squarely in the dynamic camp: types are a property of values not expressions.
There is also this previous discussion thread: Explicit denotation of variability and immutability (perhaps this post is of particular interest: Explicit denotation of variability and immutability - #16 by StefanKarpinski)
Good luck.