existential type

名詞

(programming, type systems) A type that hides the underlying concrete type(s). / Used other than figuratively or idiomatically: see existential, type.

日本語の意味

具体的な（具象的な）型を隠蔽し、利用者には抽象的な振る舞いのみを露出する型。 / 内部の具象型の実体を隠して、抽象的に型（型システム上での存在）として扱う型。

このボタンはなに？

To ensure modularity, the library exposes an existential type that hides its implementation details.

モジュール性を確保するために、そのライブラリは実装の詳細を隠す存在型を公開している。

詳細

意味（1）

(programming, type systems) A type that hides the underlying concrete type(s).

Existential types are fundamentally no more complicated than universal types (in fact, we will see in §24.3 that existentials can straightforwardly be encoded in terms of universals).

詳細

意味（2）

Used other than figuratively or idiomatically: see existential, type.

This is an existential type of anxiety that stems from the feeling that we are not at home in this world.

詳細

existential types （ plural ）