I've used both heavily. I think paradigm is the key word if you're thinking mind-expanding properties. While immutable types and combinators are less used in Typescript (you've got me there) you can certainly get 80% of the value of strong typing, and there are several variants of Virtual DOM support.

Elm's error messages and semantic versioning are still a class above anything else, though. Sad to see it rotting on the vine like this.