Hatena Blog Tags

型推論

(コンピュータ)
かたすいろん

Type inference. ML等の静的に強く型付けされた言語において,変数や関数の型をプログラマが明示しなくても,処理系が自動的に決定してくれる仕組みのこと.型理論の知見に基づく.
型推論が可能な型システムとしてはHindley-Milner型システムが有名.これを拡張したものがOCamlを始めとしたML系言語やHaskell等の言語処理系に搭載されている.

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

関連ブログ