This looks interesting. If such potential features come true in Python 3, I would have better motivation to migrate to it. However, it does, somehow, with type

This looks interesting. If such potential features come true in Python 3, I would have better motivation to migrate to it. However, it does, somehow, with type alias syntax as proposed in this article, make python3 looks even similar to Go.