There's Elm, PureScript and many other functional programming inspired languages. But, TypeScript is a safe bet.