Generic là biến dành cho kiểu

generic là cách để giữ được tính chung chung mà vẫn không bị mất thông tin
Biến (variable) thì để trong ( ), còn biến kiểu (type variable) thì để trong < >

Ví dụ, đây là cách viết hàm như bình thường:

function f(x)

interface t { u }
function f(x: t): t

Nếu có thể viết chỉ số dưới chân cả hai như vậy thì tiện:

fₜ(xₜ)

Nhưng vì không dùng unicode được nên viết như thế này:

f(t)(x) 

f<t>(x) 

f<t>(x: t): t

function identity<Type>(arg: Type): Type { return arg;}

Cũng giống như ta có thể có nhiều biến trong hàm, ta cũng có thể có nhiều biến kiểu trong hàm:

f<t, u>(x, y)