Polymorphie

was ist der Typ von t hier:

var t  =  f => x => f (f (x));
print t(x => x+1)(0);
print t(t)(x => x+1)(0);

Lösung: $\forall$a : (a$\to$a)$\to$(a$\to$a)

benötigen

• Typvariablen (a)
• Bindungen dafür ($\forall$)