Nächste Seite:
Rang-(2/N)-Polymorphie in GHC
Aufwärts:
Typen
Vorherige Seite:
Beispiel zur Polymorphie (II)
System F
einfach getypter Lambda-Kalkül:
A
x
|
AA
|
x
:
T
.
A
T
|
T
T
Variable
x
, Type
T
, Term
A
polymorph getypter Lambda-Kalkül (System
F
) (Jean-Yves Girard, John C. Reynolds)
A
...
X
.
A
|
A
[
T
]
,
T
...
X
|
X
.
T
Typvariable
X
Hindley-Milner (benutzt in Standard-Haskell): Typ-Forall nur außen erlaubt
2009-11-20