Sentence examples for instances of a type from inspiring English sources

The instances of a type artifact are artifacts in this narrow sense, that is, singular, particular objects.

7, §1 and 8, §1), the Venerabilis Inceptor had shown that many unacceptable consequences follow from the idea that universals are something existing in re, really identical with their particulars considered as instances of a type (e.g., the universal man qua man is identical with Socrates), but different considered as properly universal (e.g., man qua universal is different from Socrates).

One reviewer berated it as an instance of a type of old-fashioned British cinema that should by now have been laid to rest.

(Not that every instance of a type is a token e.g.g

(Although Peirce also says a token is an "instance" of a type and that the token signifies the type).

Nonetheless, it has often been taken to be the relation of instantiation, or exemplification; a token is an instance of a type; it exemplifies the type.

The team designed generic-looking webs that were constructed, for instance, of a type of material called dragline silk that was modified to be entirely stretchy.

There exists a shorthand notation using context bounds for functions that require an instance of a type class with a single type parameter to be in implicit scope: def isEqual[A Equal] (a1: A, a2: A) = a1 = ?

Eq(a Rightarrow a rightarrow a rightarrow )Bool, where constraint Eq(a) indicates that type variable (a) cannot be instantiated to an arbitrary type, but only to a type that has been defined as an instance of class Eq. An instance of a type class specifies instance types for type class parameters, and gives definitions of the overloaded names specified in the class.

This is a complex instance of a type B subnetwork, where academic inventors and researchers from private companies collaborate with each other in taking out patents in which universities and firms are co-assignees.

Ontologically, an artifact can be a singular, concrete object such as the Eiffel Tower, a type (a type object) which has or can have many instances (for example, a paper clip or Nikolai Gogol's Dead Souls), an instance of a type (a particular paper clip), or an abstract object, for example, an artificial language.