Last Updated：2025/12/07

Dictionary quizzes to help you remember vocabulary

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

音声機能が動作しない場合はこちらをご確認ください

See correct answer

existential type

Edit Histories（0）

Source Word

existential type

Noun

Japanese Meaning

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

What is this buttons?

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

Google Translation / DeepL Translation

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

Details

Sense（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).

Google Translation / DeepL Translation