> -- Илья Ермаков писал(а):
> Языков с усиленным статическим контролем много, только, как правило, такой контроль требует глобального анализа. И ставит крест на раздельной компиляции (тот же контрактно-ориентированный Эйффель вот, насколько я помню, её не поддерживает).Баланс - штука тонкая.
Нифига не ставит крест. Все дело - в организации среды. При написании модулей среда должна собирать и хранить  информацию о всех объявленных типах и их свойствах. Тогда и стыковаться можно будет...