PHP already has an opt-in type system that's runtime safe (ie it's not just compiled away like in TS). The major piece of the puzzle missing is generics suppor

PHP already has an opt-in type system that's runtime safe (ie it's not just compiled away like in TS). The major piece of the puzzle missing is generics support, but other type handling is already there.