Может кто-нибудь сказать мне концепцию «поэтапных тегов» в представлении информации о типе в динамически типизированных языках.