I tipi possono disporre di tipi e di valori come parametri. Ad esempio, un tipo che definisce Bag potrebbe avere un parametro ...

I tipi possono disporre di tipi e di valori come parametri. Ad esempio, un tipo che definisce Bag potrebbe avere un parametro che rappresenta la classe degli oggetti che può contenere. Un tipo con i parametri è un modello che può essere associato ai valori dei parametri per creare un tipo specifico. Ad esempio, associando Candy al parametro di Bag si crea un tipo specifico "Bag".