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 = In mathematical notation, the type of the function id is , where is a type variable.
Attributes | Values |
---|
rdfs:label
| - Zmienna typowa (pl)
- Переменная типа (ru)
- Type variable (en)
- Змінна типу (uk)
|
rdfs:comment
| - Переменная типа (ти́повая переменная) в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных. Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но используется для передачи типа данных без передачи самих данных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латиницу и допускают и более длинные именования). (ru)
- 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;} (pl)
- 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. (en)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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. (en)
- Переменная типа (ти́повая переменная) в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных. Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но используется для передачи типа данных без передачи самих данных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латиницу и допускают и более длинные именования). (ru)
- 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;} (pl)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |