Pesquisando sobre não encontrei nenhuma linguagem realmente útil que tenha tipagem estática e seja interpretada, mas achei no Github essa linguagem aqui que é interpretada e estática! O projeto tá parado pelo que parece, mas é interessante