I've been working on something that might be interesting to you [1]. It gives you the full flexibility of a programming language while removing all the boilerplate surrounding your business logic through static analysis.
Have a look at the Encore Playground [2] to see a real-world example.