phantom type

English

phantom type (plural phantom types)

(computing theory) A parameterized type that does not depend on all of its type parameters.
- 2004 July 31, Markus Mottl, "Phantom types" on caml-list
  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 type
释义	phantom type English Noun phantom type (plural phantom types) (computing theory) A parameterized type that does not depend on all of its type parameters. 2004 July 31, Markus Mottl, "Phantom types" on caml-list 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.
随便看	regnigt regnin regning regninga regningen regningene regninger regnino regnis regnjacka regnjackan regnjackor regnjackorna regnkappa regnkappan regnkappor regnkapporna regnkläder regnkläderna regnkápa regnlegur regnmoln regnmåler regnmåleren regno