I think being written in OCaml would be a benefit, rather than a negative. One of the reasons I'm interested in ReasonML, which powers Facebook's Flow, is that is based off of Bloomberg's Bucklescript, which is based off of OCaml.
I never knew the power of types (specifically algebraic data types) and the convenience of using them until I discovered them in F# (and Elm).
Give it a try! Ping us if you need to: https://github.com/facebook/reason#community
Edit: Never mind, you're referring to my complaint about the OCaml toolchain. Carry on :D
Plus self-hosting in this case also means that Typescript runs everywhere JS runs, including use cases of compiling Typescript on the fly directly in a browser or very easily including Typescript compilation in NodeJS toolchains or anywhere else JS may run.