Isn't ReasonML pretty much that language already? Although the most popular language in that broader niche is probably Golang.