Power is a weakness in a programming language, not a strength - some of the most interesting research languages today are not even Turing-complete. It&#x27;s easy to add expressiveness to a clunky language; it&#x27;s much harder to add limits to an expressive language that prevent expressing nonsense.