スマートフォン用の表示で見る

型推論

コンピュータ

型推論

かたすいろん

Type inference. ML等の静的に強く型付けされた言語において,変数関数の型をプログラマが明示しなくても,処理系が自動的に決定してくれる仕組みのこと.型理論の知見に基づく.

型推論が可能な型システムとしてはHindley-Milner型システムが有名.これを拡張したものがOCamlを始めとしたML系言語やHaskell等の言語処理系に搭載されている.