Julia doesn't have gradual typing, to my knowledge. As far as I know it doesn't do any static type checking. I wish it did!
i still have much to learn about language design, but i believe julia has gradual typing. it uses type annotations for the purposes of multiple dispatch (which is awesome, btw) and optimization.