> Hack allows programmers to use both dynamic typing and static typing. This kind of a type system is called gradual typing...

I wasn't aware of such a type system, and there're many languages which use both:

https://en.wikipedia.org/wiki/Gradual_typing