本文へスキップ

型推論とは?

かたすいろん

コンパイラ変数や式の型を自動で推定する機能。

型推論とはプログラマが型を明示しなくてもコンパイラが文脈から変数や式の型を自動的に決定する仕組みでHaskellやRustやKotlinに実装されている。

使い方・例文

RustではletでxにInt値を代入するだけでコンパイラが型をi32と推論してくれる。

この用語をシェア

𝕏 でポスト LINE

最終更新:

関連用語