Never heard of this language. But thanks for sharing. This is an interesting language. Not sure whether I should use it right away (always sort of tied to a certain language and ecosystem, in my case PHP) but at least we can get some inspiration from innovative approaches like this.
It's a research language and it seems very rough around the edges so using it in production might be a bad idea. That being said this is supposedly written in the language https://bazqux.com.
Not sure if I agree with OP, but this language/framework makes most common web vulnerabilities impossible:
http://impredicative.com/ur/
Probably answering my own question here but now I think of it, there is no language I can think of that catches SQL injection etc, but there seems to be server that does!
I have no experience whatsoever with this beast but it says it kills SQL injection, XSS etc. Curious whether this would be effective.
Its been a while since I did any ASP.Net, but I remember some sort of error that would be thrown by default for common sql injection or script injection patterns on user inputs. There were still many many ways to screw things up, but this probably prevented quite a few attacks for extra lazy/ignorant coders (we have all been there at one point or another).