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.

In this thread Elm was compared to OCaml and Haskell, comaparing it to Typescript is really not that bad. :)