Stowaway – Take the best programming language for e-ink UI development?

So without sandbox: it doesn't apply. What is the best language to have high quality correctness oracles so that the user doesn't have to babysit the LLM and do lots of manual testing?