Tag: static vs dynamic type checking