Para poder minimizar esta desventaja, algunos lenguajes incluyen "lagunas de tipos", conversiones explícitas no verificadas que pueden ser usadas por el programador para permitir explícitamente una operación normalmente no permitida entre diferentes tipos.