- オブジェクト指向は愚かな考え。この世は計算式 [転載禁止]©2ch.net
884 ：デフォルトの名無しさん[sage]：2015/12/13(日) 19:13:06.23 ID:lFeNetkB - 言語が持ってる型システムによって型推論の有り難みも速度も大きく変わるわ。
ジェネリクスがあるか、HKTがあるか、GADTがあるか、とかで随分変わる。
あと言語がどこで、どこまで型注釈を省略してもいいかにもよるわ。
Haskellみたいにほぼ型注釈不要なものもあれば、関数のシグネチャは省略不可能にしておくことで型推論のコスト抑えたりする言語もある。
Cは型推論とか別に要らないくらい型システムはシンプル。だけど関数ポインタは脳を壊すわ...
|