This is not the only proposal, it's covered elsewhere.

In the original manifesto: https://gist.github.com/lattner/31ed37682ef1576b16bca1432ea9...