Type system

This page lists the items of the Wikipedia article Type system in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1370838121, with the assessment B/High.

Outcome	Items
deferred	9

The gap signals of the article are S3,S4,S6,S8,S9.

Item	Kind	Name	Outcome	Reason
subject	definition	Type system	deferred until 2027-05-01	the item has the flag informal (WP9.2)
#3ZXM	unknown	Type hint	deferred until 2027-05-01	the kind of the item is unknown
#8P0E	unknown	Type equivalence	deferred until 2027-05-01	the kind of the item is unknown
#GKLV	unknown	Unified type system	deferred until 2027-05-01	the kind of the item is unknown
#LNUG	unknown	Dynamic type checking	deferred until 2027-05-01	the kind of the item is unknown
#O3F3	unknown	Existential type	deferred until 2027-05-01	the kind of the item is unknown
#S439	unknown	Type error	deferred until 2027-05-01	the kind of the item is unknown
#VQH2	unknown	Optional static typing	deferred until 2027-05-01	the kind of the item is unknown
#YB6O	unknown	Static type checking	deferred until 2027-05-01	the kind of the item is unknown

Refer to Wikipedia articles and their nodes for the other articles.