If you find this interesting, you might also wanna suss out https://rescript-lang.org/

It is a shame that Bloomberg and Facebook made the whole situation pretty confusing though, but still, it is a nice idea.