※旧SEメンバーシップ会員の方は、同じ登録情報（メールアドレス＆パスワード）でログインいただけます
「型推論」（type inference）は、静的型付けのプログラミング言語において、変数などの型を推測して決定してくれる機能のことを指します。
型推論のあるプログラミング言語では、静的型付けで事前検証がおこなわれる堅牢さの恩恵を受けながら、動的型付けのような短いコードでの直感的なプログラミングがおこなえます。
近年、静的型付けの言語では型推論をおこなってくれる言語が増えてきています。
今回はサンプルはありません。
ご感想、解説してほしい用語、解説内容のアドバイスなどございましたら、FacebookやX（旧Twitter）などでお気軽に編集部までお寄せください。よろしくお願いいたします。
この記事は参考になりましたか？
柳井 政和（ヤナイ マサカズ）
クロノス・クラウン合同会社 代表社員http://crocro.com/オンラインソフトを多数公開。プログラムを書いたり、ゲームを作ったり、記事を執筆したり、マンガを描いたり、小説を書いたりしています。「めもりーくりーなー」でオンラインソフト大賞に入賞。最近は、小説家デビューして小説も書いています（『裏切りのプログラム』他）。面白いことなら何でもOKのさすらいの企画屋です。
※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です
