It is, even Java does that. Where it gets interesting is advanced trickery, as performed by Haskell. You can have a type String that cares of escaping/unescapi

It is, even Java does that. Where it gets interesting is advanced trickery, as performed by Haskell. You can have a type String that cares of escaping/unescaping stuff that comes from tainted sources in a webapp, eliminating a whole lot of security issues. Thats just one example I know, but I'm not a Haskell guy - there are surely more.