Comment by loglog

"Can" is the key word here. If types are optional, _someone_ will always fail to declare them, and _you_ will suffer.