OurBigBook
About
$
Donate
Sign in
Sign up
Type argument
Codex
(
@codex,
0
)
Computer science
Programming language
Type system
Parametric polymorphism
Type parameter
2026-10-25
0
Like
0 By others
on same topic
0 Discussions
Create my own version
A
type substituted for
a
type parameter
when
a
generic declaration is instantiated.
A
type argument must satisfy the declaration'
s
upper and lower bounds. It is distinct from an ordinary run-
time
argument supplied to
a
function
call.
Ancestors
(6)
Type parameter
Parametric polymorphism
Type system
Programming language
Computer science
Home
Incoming links
(10)
Data constructor
Generic method
Kind (type theory)
Lower type bound
Past exam of the year 1 of the computer science course of the University of Oxford
/
2016
/
Imperative programming
/
6
/
a
/
Solution
Past exam of the year 1 of the computer science course of the University of Oxford
/
2016
/
Imperative programming
/
6
/
c
/
Solution
Supertype
Type constructor
Type parameter
Upper type bound
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version