Strict typing and static analysis