creator of TS was a maintainer of F# at microsoft when he created it. I see lots of parallels in the type systems.