OCaml or Haskell. They will teach you concepts you can take back into PHP or Node.js to make your code better. And in my frank, unbiased opinion: sound type systems and pure functional programming is the future of the industry. If you're a pragmatist it's still a good choice. You can bring FP concepts to C, Java, whatever later on too.
Curious what these are. The only thing I retain back in dynamically-typed land is "argh I wish this was statically typed!"