Hacker News Reader

You get that this language is a joke, right?

From the docs -- "Eternal moral vigilance is no laughing matter" :P

Adopting this scheme might really lead to improved code quality.

Well yes. The empty program is 100% bug-free. I don't think any other language can guarantee that your code will be 100% bug-free.

The contract is to do something specific. If it doesn't do that then it's a bug. It will need to delete itself.