Last Updated：2025/12/05

Dictionary quizzes to help you remember vocabulary

(computing theory) A parameterized type that does not depend on all of its type parameters.

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

See correct answer

phantom type

Edit Histories（0）

Source Word

phantom type

Noun

(computing theory) A parameterized type that does not depend on all of its type parameters.

Japanese Meaning

型パラメータの一部が実際のデータ表現や振る舞いに影響を与えない、パラメータ化された型（コンピューティング理論における用語）

What is this buttons?

Using a phantom type, the library encodes units of measure at the type level without affecting the runtime representation.

Google Translation / DeepL Translation

ファントム型を用いて、そのライブラリは実行時の表現に影響を与えずに単位を型レベルでエンコードします。

Details

Sense（1）

(computing theory) A parameterized type that does not depend on all of its type parameters.

Phantom types not only allow you to capture constraints, which are proved by the compiler, they are also perfectly cheap computationally, because you don't have to check things at runtime all the time.

Google Translation / DeepL Translation

Details

phantom types

（ plural ）

Details

phantom type

Dictionary quizzes to help you remember vocabulary

Login / Sign up

Download the app!

phantom type

Dictionary quizzes to help you remember vocabulary

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!