変数への代入の際、CやJavaでは明示的に型を指定しないといけません。OCaml（おそらくML全般）には型推論という機能があって、型を明示しなくても自動的に（勝手に）変数にぴったりの型を当てはめてくれます。Objective-Cにはid型といういわば「なんでもあり…