You could probably use a static type system to ensure you're not allowing string arguments from untrusted input and possibly even allow string constants to be u

You could probably use a static type system to ensure you're not allowing string arguments from untrusted input and possibly even allow string constants to be used as arguments. Not that I think this provides any sort of advantage (or that I've even seen this), but it seems like it would be possible and work.