型推論について調べてみた

型推論 – Wikipedia
型推論とは – はてなキーワード

によると、
動的型付言語では実行時に型が決まるので型の宣言は不要だが、静的型付言語ではコードで変数や関数の型を宣言する必要がある。この変数や関数の型の宣言をしなくてもよくなるのが型推論らしい。関数の型シグネチャなどから自動的に型を決定してくれる。
var result
result = x + 1
だとhogeはintだろうと推論してくれる。

メリット

  • 誤った型を用いる事によるバグは回避できる。
  • 記述をアルゴリズムに集中できるのでプログラムの抽象度が上がる

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です