Sé que el compilador de cierre de Google realiza la verificación de tipos, pero ¿hay alguna alternativa, preferiblemente que no esté tan estrechamente acoplada con una biblioteca y un optimizador?

Si no, ¿hay alguna forma de tener el Compilador de cierre de Googlesolament hacer análisis estático?

(Por análisis estático aquí, me refiero a cosas como definir tipos para argumentos, etc., que puedo ejecutar algo para darme advertencias si hago un error tipográfico o paso el tipo incorrecto).