casperの作者さんの日記経由で知りました。
http://d.hatena.ne.jp/xtalco/
: は完全に命名演算子として式として変数、関数、クラス（型）等を使えるようにしているところが似ています。言語をシンプルにする一つの方法として、:を命名演算子としてしまう方法があると確信しているので素晴らしいと思います。
無名変数や無名関数や無名クラス等を同じように扱えますからね。
例えば、Aという型があったとして、B : type = A; とすれば、BはAのエイリアスとなるといったことまで出来るのがいいんじゃないかと思います。
