@waman10da: RT @wdko: 型推論といってもC++のやつとHaskellのやつはだいぶちゃうんでなあ。前者は省略のためというイメージが強いけど後者は型検証システム内の機能なのでむしろこれがあるから安全性を保ててるようなもので2014-04-16 23:46:58 via TweetCa…