You’d want the opposite, a language with automatically checked constraints that is also easy to read.