¿Has utilizado bibliotecas para validación en tiempo de ejecución y aserción de tipos, por ejemplo, para verificar datos recibidos de APIs?