Hindley-Milner 型
Hindley-Milner 型 英語表記: Hindley-Milner Type System 概要 Hindley-Milner型システムは、静的型付け言語において、プログラマが明示的に型を宣言しなくても、コンパイ […]
型システム実装
このカテゴリの用語
ラムダ計算
ラムダ計算 英語表記: Lambda Calculus 概要 ラムダ計算（Lambda Calculus）は、1930年代に数学者アロンゾ・チャーチによって考案された、計算可能性と関数定義を形式的に表現するための数学的体 […]
型推論エンジン
型推論エンジン 英語表記: Type Inference Engine 概要 型推論エンジンとは、プログラミング言語の処理系（コンパイラやインタプリタ）に組み込まれている、コード中で明示的に宣言されていない変数や式のデー […]