It exists and it's called Elm. it's not work backwards compatible, but it's a really solid language