Typing_environment
内型理論タイピング環境（又はタイピングコンテキスト）変数名との間の関連付け表すデータ型を。
より正式には環境 Γ { Gamma}
ペアのセットまたは順序付きリストです
⟨ 、τ ⟩
{ langle x、 tau rangle}
、通常は次のように記述されます ： τ {x： tau}
、 どこ {x}
は変数であり、 τ { tau}
そのタイプ。
誰かが非難しますΓ ⊢ e ： τ
{ Gamma vdash e： tau}「 e {e} タイプがあります τ { tau}
コンテキストで Γ { Gamma}
“。
静的に型付けされた プログラミング言語これらの環境は、によって使用され、維持されているタイプのルールする確認入力所定のプログラム又は発現。
も参照してください
型システム
参考文献
^ 「単純型付きラムダ計算」（PDF）。 Γ ⊢ ： Int { Gamma vdash x：{ text {Int}}}
このプログラミング言語理論または型理論関連
“