ဒေတာမရှိပါ။
အသိပေးချက်
အကြောင်းကြားချက်များမရှိပါ။
付き添いの者たち。 供の者。
付くこと。 付着すること。
⇒ つき(付)(7)
ある観点から見れば、型付きラムダ計算は型を持たないラムダ計算を改良したものと言えるが、別の観点からは、より根本的な理論と見ることもでき、型を持たないラムダ計算の方が型が1つしかない特殊ケースと見ることができる。 様々な型付きラムダ計算がこれまで研究されてきた。単純型付きラムダ計算はいくつかの基本型(または型変数)と関数型