typesystems can be considered a kind of static analysis