This HTML5 document contains 52 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_functional_programming_topics
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Generalized_algebraic_data_type
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Generics_in_Java
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Mu_(letter)
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Parametric_polymorphism
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Type_signature
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Type_class
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Recursive_data_type
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:System_F
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Fixed-point_combinator
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
dbr:Type_variable
rdfs:label
Type variable Змінна типу Переменная типа Zmienna typowa
rdfs:comment
Zmienna typowa to zmienna której wartościami mogą być typy - zwykle istnieje tylko na potrzeby kompilacji,nie jest natomiast typową zmienną zajmującą pamięć i modyfikowalną w trakcie uruchamiania programu. Np. w poniższym fragmencie C++ T jest zmienną typową: template void swap (T&a, T&b) { T c; c = a; a = b; b = c;} In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow mutable variables, a type variable remains an abstraction, in the sense that it does not correspond to some memory locations. # let id x = x;;val id : 'a -> 'a = <fun> In mathematical notation, the type of the function id is , where is a type variable. Переменная типа (ти́повая переменная) в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных. Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но используется для передачи типа данных без передачи самих данных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латиницу и допускают и более длинные именования).
dct:subject
dbc:Type_theory dbc:Functional_programming dbc:Dependently_typed_programming
dbo:wikiPageID
279701
dbo:wikiPageRevisionID
990958811
dbo:wikiPageWikiLink
dbr:Identity_function dbr:System_F dbr:Parametric_polymorphism dbc:Type_theory dbr:Data_types dbr:Existential_type dbc:Functional_programming dbr:Universally_quantified dbc:Dependently_typed_programming dbr:Existentially_quantified dbr:Programming_language dbr:Type_theory dbr:Variable_(mathematics) dbr:Variable_(programming) dbr:OCaml
owl:sameAs
dbpedia-ru:Переменная_типа wikidata:Q636210 dbpedia-pl:Zmienna_typowa dbpedia-uk:Змінна_типу n14:4ooPt freebase:m.07kbmm2
dbp:wikiPageUsesTemplate
dbt:Type-theory-stub
dbo:abstract
In type theory and programming languages, a type variable is a mathematical variable ranging over types. Even in programming languages that allow mutable variables, a type variable remains an abstraction, in the sense that it does not correspond to some memory locations. Programming languages that support parametric polymorphism make use of universally quantified type variables. Languages that support existential types make use of existentially quantified type variables. For example, the following OCaml code defines a polymorphic identity function that has a universally quantified type, which is printed by the interpreter on the second line: # let id x = x;;val id : 'a -> 'a = <fun> In mathematical notation, the type of the function id is , where is a type variable. Zmienna typowa to zmienna której wartościami mogą być typy - zwykle istnieje tylko na potrzeby kompilacji,nie jest natomiast typową zmienną zajmującą pamięć i modyfikowalną w trakcie uruchamiania programu. Np. w poniższym fragmencie C++ T jest zmienną typową: template void swap (T&a, T&b) { T c; c = a; a = b; b = c;} Переменная типа (ти́повая переменная) в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных. Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но используется для передачи типа данных без передачи самих данных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латиницу и допускают и более длинные именования).
prov:wasDerivedFrom
wikipedia-en:Type_variable?oldid=990958811&ns=0
dbo:wikiPageLength
1158
foaf:isPrimaryTopicOf
wikipedia-en:Type_variable
Subject Item
dbr:TypeParameter
dbo:wikiPageWikiLink
dbr:Type_variable
Subject Item
wikipedia-en:Type_variable
foaf:primaryTopic
dbr:Type_variable