phantom type（型パラメータの一部が実際のデータ）とは - 英語 - 英語

ログインすると広告が減り、学習に集中できます。

検索内容:

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.

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

活用形複数形

plural of phantom type

原形: phantom type

日本語の意味

「phantom types」は「phantom type」の複数形、すなわち単数形の「phantom type」の複数形を示す活用形です。

In the type system we introduced phantom types to ensure compile-time safety without storing extra data.

型システムでは、実行時に余分なデータを保持せずにコンパイル時の安全性を確保するため、ファントム型を導入しました。

Webで検索する