Quindi, a priori è impossibile dire se un interprete ha il type checker? Dipende solo dal linguaggio in questione?