phantom type

名詞

(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.

Google翻訳 / DeepL翻訳

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

詳細

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

詳細

phantom types

（ plural ）

詳細

phantom type

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

phantom type

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！