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