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

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

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

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

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

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

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

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

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

Причем тут рантайм? я говорю про компайл тайм.
Если ссылка не является разделяемой, определяется на основе ее использования, то генерируется тп unic[T] иначе shared[T].

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

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

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

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

Причем тут рантайм? я говорю про компайл тайм.
Если ссылка не является разделяемой, определяется на основе ее использования, то генерируется тп unic[T] иначе shared[T].