Type_erasure
ではプログラミング言語、型消去があり、負荷時の明示するプロセス型注釈はそれがで実行される前に、プログラムから削除され、実行時。プログラムに型を伴う必要のない操作的セマンティクスは、型消去セマンティクスと呼ばれ、型渡しセマンティクスとは対照的です。型消去セマンティクスを与える可能性は一種の抽象化の原則であり、プログラムの実行時の実行が型情報に依存しないことを保証します。ジェネリックプログラミングのコンテキストでは、型消去の反対はと呼ばれます具象化。
型推論
型推論
逆の操作は型推論と呼ばれます。型消去は、暗黙的に型付けされた言語での型付けを定義する簡単な方法として使用できますが(暗黙的に型付けされた用語は、適切に型指定された明示的に型付けされたラムダ項の消去である場合にのみ、適切に型付けされます)、必ずしもリードするとは限りません。暗黙的に型付けされた用語をチェックするアルゴリズムに。
も参照してください(C ++)
型消去の問題(JavaのGenerics)
タイプポリモーフィズム
参考文献
^ ランガー、アンジェリカ。「具象化とは?」。
クラリー、カール; ワイリッヒ、ステファニー; グレッグ・モリセット(2002)。「型消去セマンティクスにおける内包的多型」。機能プログラミングジャーナル。12(6):567–600。CiteSeerX 10.1.1.5.4507。土井:10.1017 / S0956796801004282。
このコンピュータサイエンス
“