Diagnosticar código Java

Este artículo expone un caso utilizado para la verificación del tipo estático, explica porqué tendríamos que estar contentos de que el lenguaje Java tenga dicho tipo y discute de la manera de darle un mejor uso.