if you are discounting this discussion on account of not being interested in the VM consider it's also quite interesting for the way they changed the language.

E.g. gradual typing with type inference, generics, closures, nullable types, generators and a lot of static checks and removals of "arguably dumb" php features.