Type annotations have no effect by default. You're free to use a tool to do compile or runtime checking though.