型推論

型推論とは、モテるイマドキプログラミング言語の必須アイテムである。

型名を伴った変数宣言が許されるのは小学生までだよね～。

簡単な概要

C#での少し極端な例だが、こんな感じに楽できることである。

// C#
// (using System; と using System.Collections.Generic; が書かれているとする)
Dictionary<String, List<DateTime>> myDic = new Dictionary<String, List<DateTime>>()
// ↓こうなる
var myDic = new Dictionary<String, List<DateTime>>()

これに限らず、

var num = 42;
var ratio = 0.25f;
var name = "Name";
var result = isCheckFunction();

のようなところでも、全部varと書けばそれぞれ勝手に適切な記述をしたものとして判断してくれる仕組みである。

最近ではC#3.0(におけるvar)やC++11(におけるauto)で採用されたが、HaskellやMLといった言語では初期から備わっていた機能である。

概要

「整数と整数足したら整数に決まってんじゃん」「文字列結合したら文字列できるに決まってんじゃん」「材料見れば結果の型は分かるのにintだのstringだのの記述を要求するなんてバカなの？死ぬの？」・・・とゆー、プログラマの怠惰精神に応えて、型を周囲のコードから自動的に決定してしまおうというのが型推論である。

一般的に静的型付けのプログラミング言語では、変数に全て型が付いていて他の型のオブジェクトは代入できないが、それがために一々型修飾が必要でプログラムが煩雑になりがちなのが難点である。型推論が使えると変数型を勝手に決めてくれるのでとにかく書くのが楽になるし、動的型付け言語と違ってコンパイル時に間違いが検出されるという点は型推論を行っても変わらない。また大抵はコードが読みやすくなるのもよいところ。

一口に型推論といっても様々である。C#やC++のように変数の初期化や返り値などに限定した型推論から、Rustのように変数がどのように使われているかも型推論の材料とするもの、OCamlやHaskellなどのようにプログラム全体から型を決定するものまで存在する。

静的型付け関数型言語では伝統的に使われてきたが、最近はその他の言語にも導入が進んでおり、動的型付け言語でもJITの最適化に型推論を用いる事例があるようだ。一番喜んでるのはクソ長いシグネチャがauto一発になったC++屋のような気もする。

関連項目

• 型
• 型付け
• プログラミング関連用語の一覧