phantom type

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

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

日本語の意味

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

英語の意味

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

このボタンはなに？

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

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

詳細

意味（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.

詳細

phantom types （ plural ）