Translation of "Hochgestellte ziffer" in English
All
diese
Typen
sind
Beispiele
von
Anwendungen
von
Typfunktionen
D
{\displaystyle
D}
,
z.
B.
{
i
n
t
0
,
s
t
r
i
n
g
0
,
M
a
p
2
,
S
e
t
1
}
?
D
{\displaystyle
\left\{int^{0},string^{0},Map^{2},Set^{1}\right\}\subset
D}
in
den
vorangegangenen
Beispielen,
wobei
die
hochgestellte
Ziffer
die
Zahl
der
Typparameter
angibt.
The
latter
types
are
examples
of
applications
of
type
functions,
for
example,
from
the
set
{
M
a
p
2
,
S
e
t
1
,
s
t
r
i
n
g
0
,
i
n
t
0
,
?
2
}
{\displaystyle
\{{\mathtt
{Map^{2},\
Set^{1},\
string^{0},\
int^{0}}},\
\rightarrow
^{2}\}}
,
where
the
superscript
indicates
the
number
of
type
parameters.
WikiMatrix v1