As another commenter has already suggested, ReasonML has a lot of what you described here. However, modern JS-oriented toolchain for ReasonML is called ReScrip

As another commenter has already suggested, ReasonML has a lot of what you described here. However, modern JS-oriented toolchain for ReasonML is called ReScript and you can learn more here: https://rescript-lang.org/ https://rescript-lang.org/