Без заголовка

А подробнее -- ты на что намекаешь? Понятно, что все "разбирательства с типами" сейчас происходят главным образом с функциональными языками, но что такое "разбор типов", пардон мой pun intended?