> -- Geniepro писал(а):
> Вот вам и "герметичная система типов" :о)))

А где здесь нарушается герметичность?
Герметичность в том, что к переменной (не прибегая к loop-holes) можно обратиться только в соответствии с ее типом.
Где именно это свойство не соблюдается?