New code at Facebook does use both. Instagram uses both extensively.
> 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: