@gvwilson I have no pointers to such a language, merely an observation that perl's "taint" seems like a mechanism to capture the intent that "this string needs input validation before general use."