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.

[1] https://encore.dev

[2] https://play.encore.dev/vHZHuXf2zca3dg