> -- Comdiv писал(а):
> В недавнем  Борис Бабаян упомянул Вирта как большого специалиста по языкам. Правда, в несколько неожиданном для меня контекстеПлохоконтролируемая болтовня, как обычно...

Но в Обероне динамика типов есть. И контроль есть.
Впрочем, контроль границ массивов был всегда и никуда не девался.
Бабаян немножко путает.