最終更新日：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.

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

正解を見る

existential type

編集履歴（0）

元となった辞書の項目

existential type

名詞

日本語の意味

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

このボタンはなに？

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

Google翻訳 / DeepL翻訳

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

詳細

意味（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翻訳 / DeepL翻訳