Gabriel Gonzalez Sep 14
Replying to @jonathoda @pchiusano
Yes, we do want to be able to verify functions that have not been called. If not, then we could have replaced all type errors with runtime exceptions which is what Python/JavaScript do, and it does not scale well