Здравствуйте, s22, Вы писали:

22>С Хаскелем как раз намного проще. Там особых изворотов нет.

Как раз система типов хаскеля довольно сложная. Сложнее чем в Расте.

То что в языке много приседаний по поводу размежения обектов и контроля областей видимости еще не значит, что у него сложная система типов.

s22>Будет ли это делаться в типизаторе декларотивно или надо как в случае с отступами писать некий препроцессор

Декларативно будет описываться то что связано со связыванием имен и выводом типов.

Далее нужно будет задать правила совместимости (приводимости) типов.

Ну, а вопросы размежения обектов в рантайме уже ложотся на генерацию кода который будет определять семантику.