> For example take a method that wants a string in a particular format, you pass a string in another format and it breaks.

"SafeStrings: Representing Strings as Structured Data"

https://arxiv.org/abs/1904.11254

Bosque

https://github.com/microsoft/BosqueLanguage/blob/master/docs...