Genéricos: parámetros de tipo, tipos acotados y comodines (? extends, ? super)

Los genéricos (generics) te permiten escribir una clase o un método una vez y hacer que el compilador verifique los tipos con los que trabaja. Cuando escribes List<String>, el compilador rechaza list.add(42) y te permite leer elementos sin cast. Los nombres entre corchetes angulares como T, E, K y V son parámetros de tipo: marcadores que se reemplazan por argumentos de tipo reales en cada uso. El diamante <> del lado derecho (new ArrayList<>()) le pide al compilador que infiera el argumento de tipo a partir del lado izquierdo.