look at elmlang maybe ? it solves a few of these problems, but this is quite different from what we are used to.